On the public citation graph

Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation

https://doi.org/10.1002/spe.2214
0 signed · 99 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11688839_13openalex-snapshot
A Fresh Look at PRE as a Maximum Flow Problem
inferredcites →https://doi.org/10.1007/11688839_5openalex-snapshot
Context-Sensitive Points-to Analysis: Is It Worth It?
inferredcites →https://doi.org/10.1007/3-540-47764-0_15openalex-snapshot
Estimating the Impact of Scalable Pointer Analysis on Optimization
inferredcites →https://doi.org/10.1007/3-540-47764-0_16openalex-snapshot
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
inferredcites →https://doi.org/10.1007/3-540-48166-4_13openalex-snapshot
Efficient Points-to Analysis for Whole-Program Analysis
inferredcites →https://doi.org/10.1007/3-540-61053-7_66openalex-snapshot
Effective representation of aliases and indirect memory operations in SSA form
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_14openalex-snapshot
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
inferredcites →https://doi.org/10.1007/978-3-540-31985-6_21openalex-snapshot
Completeness Analysis for Incomplete Object-Oriented Programs
inferredcites →https://doi.org/10.1007/978-3-540-45099-3_10openalex-snapshot
Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C
inferredcites →https://doi.org/10.1007/978-3-642-19861-8_5openalex-snapshot
Probabilistic Points-to Analysis for Java
inferredcites →https://doi.org/10.1007/978-3-642-25318-8_14openalex-snapshot
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA
inferredcites →https://doi.org/10.1007/978-3-642-37051-9_4openalex-snapshot
An Incremental Points-to Analysis with CFL-Reachability
inferredcites →https://doi.org/10.1016/j.jss.2006.06.015openalex-snapshot
Interprocedural side-effect analysis for incomplete object-oriented software modules
inferredcites →https://doi.org/10.1109/cgo.2009.9openalex-snapshot
Wave Propagation and Deep Propagation for Pointer Analysis
inferredcites →https://doi.org/10.1109/cgo.2011.5764694openalex-snapshot
Prioritizing constraint evaluation for efficient points-to analysis
inferredcites →https://doi.org/10.1109/cgo.2011.5764696openalex-snapshot
Flow-sensitive pointer analysis for millions of lines of code
inferredcites →https://doi.org/10.1109/cgo.2013.6494978openalex-snapshot
Query-directed adaptive heap cloning for optimizing compilers
inferredcites →https://doi.org/10.1109/pact.2005.27openalex-snapshot
Memory coloring: a compiler approach for scratchpad memory management
inferredcites →https://doi.org/10.1109/pact.2007.4336199openalex-snapshot
Speculative Decoupled Software Pipelining
inferredcites →https://doi.org/10.1109/pact.2007.66openalex-snapshot
Speculative Decoupled Software Pipelining
inferredcites →https://doi.org/10.1109/tc.2012.41openalex-snapshot
SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution
inferredcites →https://doi.org/10.1145/1064978.1065043openalex-snapshot
Mitosis compiler
inferredcites →https://doi.org/10.1145/1133255.1134027openalex-snapshot
Refinement-based context-sensitive points-to analysis for Java
inferredcites →https://doi.org/10.1145/1181775.1181785openalex-snapshot
How is aliasing used in systems software?
inferredcites →https://doi.org/10.1145/1250734.1250766openalex-snapshot
Making context-sensitive points-to analysis with heap cloning practical for the real world
inferredcites →https://doi.org/10.1145/1250734.1250767openalex-snapshot
The ant and the grasshopper
inferredcites →https://doi.org/10.1145/1250734.1250789openalex-snapshot
Practical memory leak detection using guarded value-flow analysis
inferredcites →https://doi.org/10.1145/1273442.1250766openalex-snapshot
Making context-sensitive points-to analysis with heap cloning practical for the real world
inferredcites →https://doi.org/10.1145/1273442.1250767openalex-snapshot
The ant and the grasshopper
inferredcites →https://doi.org/10.1145/1273442.1250789openalex-snapshot
Practical memory leak detection using guarded value-flow analysis
inferredcites →https://doi.org/10.1145/1290520.1290524openalex-snapshot
Efficient field-sensitive pointer analysis of C
inferredcites →https://doi.org/10.1145/1328438.1328464openalex-snapshot
Demand-driven alias analysis for C
inferredcites →https://doi.org/10.1145/1328897.1328464openalex-snapshot
Demand-driven alias analysis for C
inferredcites →https://doi.org/10.1145/1375581.1375613openalex-snapshot
Bootstrapping
inferredcites →https://doi.org/10.1145/1379022.1375613openalex-snapshot
Bootstrapping
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/143095.143136openalex-snapshot
Lazy code motion
inferredcites →https://doi.org/10.1145/143095.143137openalex-snapshot
A safe approximate algorithm for interprocedural aliasing
inferredcites →https://doi.org/10.1145/143103.143136openalex-snapshot
Lazy code motion
inferredcites →https://doi.org/10.1145/143103.143137openalex-snapshot
A safe approximate algorithm for interprocedural aliasing
inferredcites →https://doi.org/10.1145/1504176.1504195openalex-snapshot
Comparability graph coloring for optimizing utilization of stream register files in stream processors
inferredcites →https://doi.org/10.1145/1582710.1582711openalex-snapshot
Compiler-directed scratchpad memory management via graph coloring
inferredcites →https://doi.org/10.1145/1594835.1504195openalex-snapshot
Comparability graph coloring for optimizing utilization of stream register files in stream processors
inferredcites →https://doi.org/10.1145/1772954.1772985openalex-snapshot
Level by level
inferredcites →https://doi.org/10.1145/178243.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/1925844.1926390openalex-snapshot
Pick your contexts well
inferredcites →https://doi.org/10.1145/192724.192731openalex-snapshot
Iterative modulo scheduling
inferredcites →https://doi.org/10.1145/1985793.1985898openalex-snapshot
Practical change impact analysis based on static program slicing for industrial software systems
inferredcites →https://doi.org/10.1145/1993316.1993565openalex-snapshot
Precise and compact modular procedure summaries for heap manipulating programs
inferredcites →https://doi.org/10.1145/2001420.2001443openalex-snapshot
Geometric encoding
inferredcites →https://doi.org/10.1145/2025113.2025160openalex-snapshot
Boosting the performance of flow-sensitive points-to analysis using value flow
inferredcites →https://doi.org/10.1145/207110.207111openalex-snapshot
Efficient context-sensitive pointer analysis for C programs
inferredcites →https://doi.org/10.1145/223428.207111openalex-snapshot
Efficient context-sensitive pointer analysis for C programs
inferredcites →https://doi.org/10.1145/2259016.2259050openalex-snapshot
On-demand dynamic summary-based points-to analysis
inferredcites →https://doi.org/10.1145/2338965.2336784openalex-snapshot
Static memory leak detection using full-sparse value-flow analysis
inferredcites →https://doi.org/10.1145/2351676.2351720openalex-snapshot
Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/2464157.2466483openalex-snapshot
Precise and scalable context-sensitive pointer analysis via value flow graph
inferredcites →https://doi.org/10.1145/2555670.2466483openalex-snapshot
Precise and scalable context-sensitive pointer analysis via value flow graph
inferredcites →https://doi.org/10.1145/292540.292554openalex-snapshot
Relevant context inference
inferredcites →https://doi.org/10.1145/318774.318943openalex-snapshot
Efficient points-to analysis for whole-program analysis
inferredcites →https://doi.org/10.1145/320384.320400openalex-snapshot
Compositional pointer and escape analysis for Java programs
inferredcites →https://doi.org/10.1145/320385.320400openalex-snapshot
Compositional pointer and escape analysis for Java programs
inferredcites →https://doi.org/10.1145/349299.349332openalex-snapshot
Scalable context-sensitive flow analysis using instantiation constraints
inferredcites →https://doi.org/10.1145/358438.349332openalex-snapshot
Scalable context-sensitive flow analysis using instantiation constraints
inferredcites →https://doi.org/10.1145/378795.378855openalex-snapshot
Ultra-fast aliasing analysis using CLA
inferredcites →https://doi.org/10.1145/381694.378855openalex-snapshot
Ultra-fast aliasing analysis using CLA
inferredcites →https://doi.org/10.1145/773473.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/780822.781144openalex-snapshot
Points-to analysis using BDDs
inferredcites →https://doi.org/10.1145/872726.806984openalex-snapshot
Register allocation & spilling via graph coloring
inferredcites →https://doi.org/10.1145/951710.951747openalex-snapshot
Compiler-decided dynamic memory allocation for scratch-pad based embedded systems
inferredcites →https://doi.org/10.1145/951746.951747openalex-snapshot
Compiler-decided dynamic memory allocation for scratch-pad based embedded systems
inferredcites →https://doi.org/10.1145/996841.996852openalex-snapshot
A cost-driven compilation framework for speculative parallelization of sequential programs
inferredcites →https://doi.org/10.1145/996841.996859openalex-snapshot
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
inferredcites →https://doi.org/10.1145/996841.996860openalex-snapshot
Symbolic pointer analysis revisited
inferredcites →https://doi.org/10.1145/996893.996852openalex-snapshot
A cost-driven compilation framework for speculative parallelization of sequential programs
inferredcites →https://doi.org/10.1145/996893.996859openalex-snapshot
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.2329openalex-snapshot
Efficient online cycle detection technique combining with Steensgaard points‐to information
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00039openalex-snapshot
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis
inferred← citeshttps://doi.org/10.1109/hipc.2013.6799110openalex-snapshot
Accelerating inclusion-based pointer analysis on heterogeneous CPU-GPU systems
inferred← citeshttps://doi.org/10.1109/tpds.2015.2397933openalex-snapshot
An Efficient GPU Implementation of Inclusion-Based Pointer Analysis
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/2544137.2544154openalex-snapshot
Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis
inferred← citeshttps://doi.org/10.1145/2581122.2544154openalex-snapshot
Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis
inferred← citeshttps://doi.org/10.1145/2851613.2851773openalex-snapshot
Automated memory leak fixing on value-flow slices for C programs
inferred← citeshttps://doi.org/10.1145/2883404.2883405openalex-snapshot
Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis
inferred← citeshttps://doi.org/10.1145/2907950.2907957openalex-snapshot
Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization
inferred← citeshttps://doi.org/10.1145/2931037.2931045openalex-snapshot
EagerMerge: an optimistic technique for efficient points-to analysis
inferred← citeshttps://doi.org/10.1145/2980930.2907957openalex-snapshot
Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization
inferred← citeshttps://doi.org/10.1145/3040575.3040579openalex-snapshot
AutoFix
inferred← citeshttps://doi.org/10.1145/3098572.3098578openalex-snapshot
Diff Graphs for a fast Incremental Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3297858.3304065openalex-snapshot
DCNS
inferred← citeshttps://doi.org/10.1145/3540250.3549122openalex-snapshot
Generic sensitivity: customizing context-sensitive pointer analysis for generics
inferred← citeshttps://doi.org/10.1145/3565800openalex-snapshot
Anchor : Fast and Precise Value-flow Analysis for Containers via Memory Orientation
inferred← citeshttps://doi.org/10.1145/3656400openalex-snapshot
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
inferred← citeshttps://doi.org/10.1145/3696443.3708921openalex-snapshot
Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3728928openalex-snapshot
BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction
inferred← citeshttps://doi.org/10.1145/3771775.3786270openalex-snapshot
HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance
inferred← citeshttps://doi.org/10.23919/fmcad.2019.8894275openalex-snapshot
Unification-based Pointer Analysis without Oversharing
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.