On the public citation graph
Making pointer analysis more precise by unleashing the power of selective context sensitivity
0 signed · 111 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11688839_5openalex-snapshot
Context-Sensitive Points-to Analysis: Is It Worth It?
inferredcites →https://doi.org/10.1007/978-3-319-26529-2_25openalex-snapshot
Bottom-Up Context-Sensitive Pointer Analysis for Java
inferredcites →https://doi.org/10.1007/978-3-642-36946-9_8openalex-snapshot
Alias Analysis for Object-Oriented Programs
inferredcites →https://doi.org/10.1007/978-3-662-53413-7_24openalex-snapshot
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
inferredcites →https://doi.org/10.1016/s0950-5849(98)00093-7openalex-snapshot
Program analysis via graph reachability
inferredcites →https://doi.org/10.1109/icse.2012.6227127openalex-snapshot
Statically checking API protocol conformance with mined multi-object specifications
inferredcites →https://doi.org/10.1145/1044834.1044835openalex-snapshot
Parameterized object sensitivity for points-to analysis for Java
inferredcites →https://doi.org/10.1145/1094811.1094817openalex-snapshot
Demand-driven points-to analysis for Java
inferredcites →https://doi.org/10.1145/1103845.1094817openalex-snapshot
Demand-driven points-to analysis for Java
inferredcites →https://doi.org/10.1145/1133255.1134018openalex-snapshot
Effective static race detection for Java
inferredcites →https://doi.org/10.1145/1133255.1134027openalex-snapshot
Refinement-based context-sensitive points-to analysis for Java
inferredcites →https://doi.org/10.1145/1133981.1134018openalex-snapshot
Effective static race detection for Java
inferredcites →https://doi.org/10.1145/1133981.1134027openalex-snapshot
Refinement-based context-sensitive points-to analysis for Java
inferredcites →https://doi.org/10.1145/1348250.1348255openalex-snapshot
Effective typestate verification in the presence of aliasing
inferredcites →https://doi.org/10.1145/1390630.1390658openalex-snapshot
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis
inferredcites →https://doi.org/10.1145/1391984.1391987openalex-snapshot
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation
inferredcites →https://doi.org/10.1145/1640089.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferredcites →https://doi.org/10.1145/1993316.1993567openalex-snapshot
Scaling abstraction refinement via pruning
inferredcites →https://doi.org/10.1145/1993498.1993567openalex-snapshot
Scaling abstraction refinement via pruning
inferredcites →https://doi.org/10.1145/2491956.2462191openalex-snapshot
Hybrid context-sensitivity for points-to analysis
inferredcites →https://doi.org/10.1145/2499370.2462191openalex-snapshot
Hybrid context-sensitivity for points-to analysis
inferredcites →https://doi.org/10.1145/2594291.2594318openalex-snapshot
Selective context-sensitivity guided by impact pre-analysis
inferredcites →https://doi.org/10.1145/2594291.2594327openalex-snapshot
On abstraction refinement for program analyses in Datalog
inferredcites →https://doi.org/10.1145/2666356.2594318openalex-snapshot
Selective context-sensitivity guided by impact pre-analysis
inferredcites →https://doi.org/10.1145/2666356.2594327openalex-snapshot
On abstraction refinement for program analyses in Datalog
inferredcites →https://doi.org/10.1145/2821504openalex-snapshot
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
inferredcites →https://doi.org/10.1145/2931098openalex-snapshot
Heap Abstractions for Static Analysis
inferredcites →https://doi.org/10.1145/2950290.2950296openalex-snapshot
On-demand strong update analysis via value-flow refinement
inferredcites →https://doi.org/10.1145/2970276.2970347openalex-snapshot
What developers want and need from program analysis: an empirical study
inferredcites →https://doi.org/10.1145/3062341.3062359openalex-snapshot
Context transformations for pointer analysis
inferredcites →https://doi.org/10.1145/3062341.3062360openalex-snapshot
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata
inferredcites →https://doi.org/10.1145/3088515.3088519openalex-snapshot
An efficient tunable selective points-to analysis for large codebases
inferredcites →https://doi.org/10.1145/3133924openalex-snapshot
Data-driven context-sensitivity for points-to analysis
inferredcites →https://doi.org/10.1145/3140587.3062359openalex-snapshot
Context transformations for pointer analysis
inferredcites →https://doi.org/10.1145/3236024.3236041openalex-snapshot
Scalability-first pointer analysis with self-tuning context-sensitivity
inferredcites →https://doi.org/10.1145/3276510openalex-snapshot
Precise and scalable points-to analysis via data-driven context tunneling
inferredcites →https://doi.org/10.1145/3276511openalex-snapshot
Precision-guided context sensitivity for pointer analysis
inferredcites →https://doi.org/10.1145/3290361openalex-snapshot
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems
inferredcites →https://doi.org/10.1145/3293606openalex-snapshot
Rethinking Incremental and Parallel Pointer Analysis
inferredcites →https://doi.org/10.1145/3293607openalex-snapshot
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis
inferredcites →https://doi.org/10.1145/3302516.3307359openalex-snapshot
Compare less, defer more: scaling value-contexts based whole-program heap analyses
inferredcites →https://doi.org/10.1145/3360574openalex-snapshot
Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity
inferredcites →https://doi.org/10.1145/3377555.3377885openalex-snapshot
Scalable pointer analysis of data structures using semantic models
inferredcites →https://doi.org/10.1145/3377555.3377902openalex-snapshot
Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity
inferredcites →https://doi.org/10.1145/3381915openalex-snapshot
A Principled Approach to Selective Context Sensitivity for Pointer Analysis
inferredcites →https://doi.org/10.1145/3485524openalex-snapshot
Making pointer analysis more precise by unleashing the power of selective context sensitivity
inferredcites →https://doi.org/10.1145/503272.503284openalex-snapshot
Towards automatic construction of staged compilers
inferredcites →https://doi.org/10.1145/565816.503284openalex-snapshot
Towards automatic construction of staged compilers
inferredcites →https://doi.org/10.1145/566172.566174openalex-snapshot
Parameterized object sensitivity for points-to and side-effect analyses for Java
inferredcites →https://doi.org/10.1145/567752.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.1145/996893.996859openalex-snapshot
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
inferredcites →https://doi.org/10.4230/lipics.ecoop.2015.712openalex-snapshot
Adaptive Context-sensitive Analysis for JavaScript
inferredcites →https://doi.org/10.4230/lipics.ecoop.2016.15openalex-snapshot
Program Tailoring: Slicing by Sequential Criteria
inferredcites →https://doi.org/10.4230/lipics.ecoop.2016.22openalex-snapshot
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
inferredcites →https://doi.org/10.5555/2337223.2337332openalex-snapshot
Statically checking API protocol conformance with mined multi-object specifications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-31445-2_6openalex-snapshot
MPIRace: A Static Data Race Detector for MPI Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_12openalex-snapshot
Mutual Refinements of Context-Free Language Reachability
inferred← citeshttps://doi.org/10.1007/s10009-025-00803-3openalex-snapshot
Context Gas and friends: taming context-sensitivity on the fly
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112753openalex-snapshot
Clash: Enhancing context-sensitivity in data-flow analysis for mitigating the impact of indirect calls
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102944openalex-snapshot
Computing maximum fixed point solutions over feasible paths in data flow analyses
inferred← citeshttps://doi.org/10.1109/apsec66846.2025.00033openalex-snapshot
Conanj: Confidential Data Analysis for Confidential Computing of Java Programs
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00099openalex-snapshot
Learning to Boost Disjunctive Static Bug-Finders
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00075openalex-snapshot
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00227openalex-snapshot
Module-Aware Context Sensitive Pointer Analysis
inferred← citeshttps://doi.org/10.1109/secdev53368.2022.00015openalex-snapshot
How far are German companies in improving security through static program analysis tools?
inferred← citeshttps://doi.org/10.1109/tse.2024.3377645openalex-snapshot
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3540250.3549122openalex-snapshot
Generic sensitivity: customizing context-sensitive pointer analysis for generics
inferred← citeshttps://doi.org/10.1145/3591242openalex-snapshot
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3597503.3640325openalex-snapshot
PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code
inferred← citeshttps://doi.org/10.1145/3597926.3598042openalex-snapshot
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
inferred← citeshttps://doi.org/10.1145/3597926.3598120openalex-snapshot
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
inferred← citeshttps://doi.org/10.1145/3622781.3674177openalex-snapshot
Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries
inferred← citeshttps://doi.org/10.1145/3622832openalex-snapshot
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3649845openalex-snapshot
Learning Abstraction Selection for Bayesian Program Analysis
inferred← citeshttps://doi.org/10.1145/3652588openalex-snapshot
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
inferred← citeshttps://doi.org/10.1145/3652588.3663321openalex-snapshot
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
inferred← citeshttps://doi.org/10.1145/3691620.3695471openalex-snapshot
Detecting Element Accessing Bugs in C++ Sequence Containers
inferred← citeshttps://doi.org/10.1145/3691620.3695545openalex-snapshot
Towards Effective Static Type-Error Detection for Python
inferred← citeshttps://doi.org/10.1145/3702974openalex-snapshot
FunFuzz: Greybox Fuzzing with Function Significance
inferred← citeshttps://doi.org/10.1145/3720422openalex-snapshot
Fast Constraint Synthesis for C++ Function Templates
inferred← citeshttps://doi.org/10.1145/3728896openalex-snapshot
Bridge the Islands: Pointer Analysis for Microservice Systems
inferred← citeshttps://doi.org/10.1145/3728935openalex-snapshot
The Incredible Shrinking Context... in a Decompiler Near You
inferred← citeshttps://doi.org/10.1145/3729254openalex-snapshot
Relaxing Alias Analysis: Exploring the Unexplored Space
inferred← citeshttps://doi.org/10.1145/3729307openalex-snapshot
Pointer Analysis for Database-Backed Applications
inferred← citeshttps://doi.org/10.1145/3744916.3773247openalex-snapshot
Is Call Graph Pruning Really Effective?
inferred← citeshttps://doi.org/10.1145/3763111openalex-snapshot
Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3763129openalex-snapshot
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
inferred← citeshttps://doi.org/10.1145/3798211openalex-snapshot
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
inferred← citeshttps://doi.org/10.1145/3808145openalex-snapshot
GPU-Accelerated Flow-Sensitive Pointer Analysis for C/C++ Programs
inferred← citeshttps://doi.org/10.1145/3808300openalex-snapshot
Exploiting Sophisticated Static Analysis for Verilog
inferred← citeshttps://doi.org/10.1145/3818615openalex-snapshot
Cut-Shortcut Whole-Program Pointer Analysis: Re-Imagining Context-Sensitivity without Contexts
inferred← citeshttps://doi.org/10.1145/3832783.3834431openalex-snapshot
PL4SA: Optimized Partial Library Selection for Efficient Static Analysis
inferred← citeshttps://doi.org/10.1145/3839508openalex-snapshot
When FPGA Meets Dataflow Analysis: An Explorative Step
inferred← citeshttps://doi.org/10.2139/ssrn.5963910openalex-snapshot
Exploring Program Confidentiality for Java Confidential Computing on SGX: A Separate Compilation Approach
showing the first 39 of 40 · page through all 40
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.