On the public citation graph
Building a bridge between pointer aliases and program dependences
0 signed · 47 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-60360-3_31openalex-snapshot
Generation of efficient interprocedural analyzers with PAG
inferredcites →https://doi.org/10.1007/bf03356759openalex-snapshot
Connection Analysis: A Practical Interprocedural Heap Analysis for C
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
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.1145/155090.155096openalex-snapshot
Interprocedural modification side effect analysis with pointer 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.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/237721.237725openalex-snapshot
Solving shape-analysis problems in languages with destructive updating
inferredcites →https://doi.org/10.1145/24039.24041openalex-snapshot
The program dependence graph and its use in optimization
inferredcites →https://doi.org/10.1145/263699.263703openalex-snapshot
Fast and accurate flow-insensitive points-to analysis
inferredcites →https://doi.org/10.1145/268946.268957openalex-snapshot
Putting pointer analysis to work
inferredcites →https://doi.org/10.1145/271510.271517openalex-snapshot
Solving shape-analysis problems in languages with destructive updating
inferredcites →https://doi.org/10.1145/390011.808263openalex-snapshot
The program dependence graph in a software development environment
inferredcites →https://doi.org/10.1145/53990.53993openalex-snapshot
Detecting conflicts between structure accesses
inferredcites →https://doi.org/10.1145/567532.567555openalex-snapshot
Dependence graphs and compiler optimizations
inferredcites →https://doi.org/10.1145/567752.567756openalex-snapshot
An efficient way to find the side effects of procedure calls and the aliases of variables
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.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/800020.808263openalex-snapshot
The program dependence graph in a software development environment
inferredcites →https://doi.org/10.1145/93548.93585openalex-snapshot
Analysis of pointers and structures
inferredcites →https://doi.org/10.1145/960116.53993openalex-snapshot
Detecting conflicts between structure accesses
inferredcites →https://doi.org/10.1145/960116.53996openalex-snapshot
Interprocedural side-effect analysis in linear time
inferredcites →https://doi.org/10.1145/989393.989418openalex-snapshot
Interprocedural side-effect analysis in linear time
inferredcites →https://doi.org/10.1145/989393.989429openalex-snapshot
Analysis of pointers and structures
inferredcites →https://doi.org/10.1145/99583.99599openalex-snapshot
Pointer-induced aliasing: a problem taxonomy
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(200001)30:1<17::aid-spe290>3.0.co;2-2openalex-snapshot
Static slicing in Unix process environment
inferred← citeshttps://doi.org/10.1007/3-540-44898-5_27openalex-snapshot
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management
inferred← citeshttps://doi.org/10.1007/3-540-44898-5_4openalex-snapshot
Checking Interference with Fractional Permissions
inferred← citeshttps://doi.org/10.1007/3-540-45574-4_20openalex-snapshot
Safe Approximation of Data Dependencies in Pointer-Based Structures
inferred← citeshttps://doi.org/10.1007/3-540-49727-7_15openalex-snapshot
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00093-7openalex-snapshot
Program analysis via graph reachability
inferred← citeshttps://doi.org/10.1145/1050849.1050865openalex-snapshot
A brief survey of program slicing
inferred← citeshttps://doi.org/10.1145/1409720.1409726openalex-snapshot
Algorithm visualization using concrete and abstract shape graphs
inferred← citeshttps://doi.org/10.1145/351240.351245openalex-snapshot
Information flow inference for free
inferred← citeshttps://doi.org/10.1201/9781420040579.ch5openalex-snapshot
Shape Analysis and Applications
inferred← citeshttps://doi.org/10.1201/9781420043839.ch12openalex-snapshot
Shape Analysis and Applications
inferred← citeshttps://doi.org/10.7551/mitpress/4283.003.0008openalex-snapshot
Program Analysis via Graph Reachability
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.