On the public citation graph
Connection Analysis: A Practical Interprocedural Heap Analysis for C
0 signed · 85 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/3-540-57502-2_61openalex-snapshot
Designing the McCAT compiler based on a family of structured intermediate representations
inferredcites →https://doi.org/10.1007/3-540-57659-2_3openalex-snapshot
Analysis of dynamic structures for efficient parallel execution
inferredcites →https://doi.org/10.1007/bf01806061openalex-snapshot
Compiling lisp programs for parallel execution
inferredcites →https://doi.org/10.1007/bf01808954openalex-snapshot
The interprocedural analysis and automatic parallelization of Scheme programs
inferredcites →https://doi.org/10.1109/71.80123openalex-snapshot
Parallelizing programs with recursive data structures
inferredcites →https://doi.org/10.1109/iccl.1992.185463openalex-snapshot
A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations
inferredcites →https://doi.org/10.1109/iccl.1994.288377openalex-snapshot
Taming control flow: a structured approach to eliminating goto statements
inferredcites →https://doi.org/10.1145/143095.143137openalex-snapshot
A safe approximate algorithm for interprocedural aliasing
inferredcites →https://doi.org/10.1145/143103.143137openalex-snapshot
A safe approximate algorithm for interprocedural aliasing
inferredcites →https://doi.org/10.1145/158511.158639openalex-snapshot
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
inferredcites →https://doi.org/10.1145/178243.178263openalex-snapshot
Interprocedural may-alias analysis for pointers
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/207110.207112openalex-snapshot
Context-insensitive alias analysis reconsidered
inferredcites →https://doi.org/10.1145/223428.207111openalex-snapshot
Efficient context-sensitive pointer analysis for C programs
inferredcites →https://doi.org/10.1145/237721.237724openalex-snapshot
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
inferredcites →https://doi.org/10.1145/237721.237725openalex-snapshot
Solving shape-analysis problems in languages with destructive updating
inferredcites →https://doi.org/10.1145/567752.567776openalex-snapshot
Flow analysis and optimization of LISP-like structures
inferredcites →https://doi.org/10.1145/582153.582161openalex-snapshot
A flexible approach to interprocedural data flow analysis and programs with recursive data structures
inferredcites →https://doi.org/10.1145/73141.74821openalex-snapshot
Dependence analysis for pointer variables
inferredcites →https://doi.org/10.1145/773473.178263openalex-snapshot
Interprocedural may-alias analysis for pointers
inferredcites →https://doi.org/10.1145/960116.53993openalex-snapshot
Detecting conflicts between structure accesses
inferredcites →https://doi.org/10.1145/989393.989429openalex-snapshot
Analysis of pointers and structures
inferredcites →https://doi.org/10.1145/989393.989440openalex-snapshot
A safe approximate algorithm for interprocedural pointer aliasing
inferredcites →https://doi.org/10.7282/t3-fyr2-a533openalex-snapshot
Interprocedural aliasing in the presence of pointers
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45574-4_15openalex-snapshot
Optimizing the Use of High Performance Software Libraries
inferred← citeshttps://doi.org/10.1007/3-540-48319-5_11openalex-snapshot
Automatic Parallelization of C by Means of Language Transcription
inferred← citeshttps://doi.org/10.1007/3-540-49099-x_2openalex-snapshot
A Decidable Logic for Describing Linked Data Structures
inferred← citeshttps://doi.org/10.1007/3-540-49727-7_4openalex-snapshot
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses
inferred← citeshttps://doi.org/10.1007/978-3-031-24950-1_3openalex-snapshot
StaticPersist: Compiler Support for PMEM Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-52234-0_24openalex-snapshot
Conjunctive Abstract Interpretation Using Paramodulation
inferred← citeshttps://doi.org/10.1007/978-3-540-85261-2_8openalex-snapshot
Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-19861-8_12openalex-snapshot
Using Disjoint Reachability for Parallelization
inferred← citeshttps://doi.org/10.1007/978-3-662-48288-9_15openalex-snapshot
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis
inferred← citeshttps://doi.org/10.1007/bf02699905openalex-snapshot
Compiling C for the EARTH multithreaded architecture
inferred← citeshttps://doi.org/10.1007/bf02943202openalex-snapshot
A new approach to pointer analysis for assignments
inferred← citeshttps://doi.org/10.1007/bfb0026427openalex-snapshot
Extended SSA mumbering: Introducing SSA properties to languages with multi-level pointers
inferred← citeshttps://doi.org/10.1007/bfb0026429openalex-snapshot
Detecting parallelism in C programs with recursive data structures
inferred← citeshttps://doi.org/10.1007/bfb0053573openalex-snapshot
Building a bridge between pointer aliases and program dependences
inferred← citeshttps://doi.org/10.1016/j.scico.2005.02.005openalex-snapshot
Error checking with client-driven pointer analysis
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00014-9openalex-snapshot
Evaluating the effectiveness of pointer alias analyses
inferred← citeshttps://doi.org/10.1109/cgo.2003.1191547openalex-snapshot
Optimizing memory accesses for spatial computation
inferred← citeshttps://doi.org/10.1134/s0361768809060036openalex-snapshot
A program auto-parallelizer based on the component technology of optimizing compiler construction
inferred← citeshttps://doi.org/10.1145/1050849.1050865openalex-snapshot
A brief survey of program slicing
inferred← citeshttps://doi.org/10.1145/1250734.1250766openalex-snapshot
Making context-sensitive points-to analysis with heap cloning practical for the real world
inferred← citeshttps://doi.org/10.1145/1289816.1289828openalex-snapshot
Pointer re-coding for creating definitive MPSoC models
inferred← citeshttps://doi.org/10.1145/2180887.2180900openalex-snapshot
Computer-Aided Recoding to Create Structured and Analyzable System Models
inferred← citeshttps://doi.org/10.1145/2259051.2259058openalex-snapshot
Collection disjointness analysis
inferred← citeshttps://doi.org/10.1145/237721.237724openalex-snapshot
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
inferred← citeshttps://doi.org/10.1145/2594291.2594328openalex-snapshot
Hybrid top-down and bottom-up interprocedural analysis
inferred← citeshttps://doi.org/10.1145/2666356.2594328openalex-snapshot
Hybrid top-down and bottom-up interprocedural analysis
inferred← citeshttps://doi.org/10.1145/268946.268957openalex-snapshot
Putting pointer analysis to work
inferred← citeshttps://doi.org/10.1145/268946.268966openalex-snapshot
Path-sensitive value-flow analysis
inferred← citeshttps://doi.org/10.1145/277631.277637openalex-snapshot
Detecting memory errors via static pointer analysis (preliminary experience)
inferred← citeshttps://doi.org/10.1145/325478.325519openalex-snapshot
Interprocedural pointer alias analysis
inferred← citeshttps://doi.org/10.1145/328690.328704openalex-snapshot
Symbolic pointer analysis for detecting memory leaks
inferred← citeshttps://doi.org/10.1145/3302516.3307352openalex-snapshot
GPU-accelerated fixpoint algorithms for faster compiler analyses
inferred← citeshttps://doi.org/10.1145/3372133openalex-snapshot
Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems
inferred← citeshttps://doi.org/10.1145/347324.348916openalex-snapshot
Which pointer analysis should I use?
inferred← citeshttps://doi.org/10.1145/347636.348916openalex-snapshot
Which pointer analysis should I use?
inferred← citeshttps://doi.org/10.1145/349299.349344openalex-snapshot
An automatic object inlining optimization and its evaluation
inferred← citeshttps://doi.org/10.1145/383043.381532openalex-snapshot
A schema for interprocedural modification side-effect analysis with pointer aliasing
inferred← citeshttps://doi.org/10.1145/514191.514228openalex-snapshot
Instance-wise points-to analysis for loop-based dependence testing
inferred← citeshttps://doi.org/10.1145/945885.945892openalex-snapshot
Stack allocation and synchronization optimizations for Java using escape analysis
inferred← citeshttps://doi.org/10.1145/949305.949337openalex-snapshot
Connectivity-based garbage collection
inferred← citeshttps://doi.org/10.1145/952532.952741openalex-snapshot
Pointer analysis of multithreaded Java programs
inferred← citeshttps://doi.org/10.1184/r1/6608207openalex-snapshot
Optimizing Memory Accesses For Spatial Computation
inferred← citeshttps://doi.org/10.21236/ada439459openalex-snapshot
A Hierarchical Approach to Context-Sensitive Interprocedural Alias Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0609104openalex-snapshot
On Verifying Complex Properties using Symbolic Shape Analysis
inferred← citeshttps://doi.org/10.5555/1760267.1760303openalex-snapshot
Static analysis of accessed regions in recursive data structures
inferred← citeshttps://doi.org/10.5555/522659.825661openalex-snapshot
Heap analysis and optimizations for threaded programs
inferred← citeshttps://doi.org/10.5555/640050.640055openalex-snapshot
Building a bridge between pointer aliases and program dependences
inferred← citeshttps://doi.org/10.5815/ijisa.2017.09.05openalex-snapshot
Performance Analysis of a System that Identifies the Parallel Modules through Program Dependence Graph
inferred← citeshttps://doi.org/10.7282/t35142w0openalex-snapshot
Modular Data-flow Analysis of Statically Typed Object-oriented Programming Languages
inferred← citeshttps://doi.org/10.7282/t3pz5dg3openalex-snapshot
Incremental Analysis for Flow- and Context-Sensitive Data-Flow Problems
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.