On the public citation graph

The road not taken: exploring alias analysis based optimizations missed by the compiler

https://doi.org/10.1145/3563316
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.
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/3-540-45306-7_9openalex-snapshot
Efficient Symbolic Analysis for Optimizing Compilers
inferredcites →https://doi.org/10.1007/978-3-540-24723-4_5openalex-snapshot
Data Dependence Profiling for Speculative Optimizations
inferredcites →https://doi.org/10.1007/978-3-642-54807-9_3openalex-snapshot
Inter-iteration Scalar Replacement Using Array SSA Form
inferredcites →https://doi.org/10.1007/bf01407835openalex-snapshot
Some efficient solutions to the affine scheduling problem. I. One-dimensional time
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.2017.7863748openalex-snapshot
Optimistic loop optimization
inferredcites →https://doi.org/10.1145/1065579.1065798openalex-snapshot
Towards scalable flow and context sensitive pointer analysis
inferredcites →https://doi.org/10.1145/1168857.1168908openalex-snapshot
A probabilistic pointer analysis for speculative optimizations
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/1290520.1290524openalex-snapshot
Efficient field-sensitive pointer analysis of C
inferredcites →https://doi.org/10.1145/1328897.1328464openalex-snapshot
Demand-driven alias analysis for C
inferredcites →https://doi.org/10.1145/1353534.1346296openalex-snapshot
Archipelago
inferredcites →https://doi.org/10.1145/1375581.1375595openalex-snapshot
A practical automatic polyhedral parallelizer and locality optimizer
inferredcites →https://doi.org/10.1145/1480881.1480911openalex-snapshot
Semi-sparse flow-sensitive pointer analysis
inferredcites →https://doi.org/10.1145/161494.161501openalex-snapshot
Undecidability of static analysis
inferredcites →https://doi.org/10.1145/186025.186041openalex-snapshot
The undecidability of aliasing
inferredcites →https://doi.org/10.1145/192007.192012openalex-snapshot
Speculative disambiguation
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/258915.258940openalex-snapshot
A new algorithm for partial redundancy elimination based on SSA form
inferredcites →https://doi.org/10.1145/2714064.2660205openalex-snapshot
Validation of memory accesses through symbolic analyses
inferredcites →https://doi.org/10.1145/277650.277670openalex-snapshot
Type-based alias analysis
inferredcites →https://doi.org/10.1145/2814270.2814285openalex-snapshot
Runtime pointer disambiguation
inferredcites →https://doi.org/10.1145/2854038.2854050openalex-snapshot
Symbolic range analysis of pointers
inferredcites →https://doi.org/10.1145/2892208.2892225openalex-snapshot
Restrictification of function arguments
inferredcites →https://doi.org/10.1145/3079079.3079098openalex-snapshot
Simplification and runtime resolution of data dependence constraints for loop transformations
inferredcites →https://doi.org/10.1145/3185768.3185771openalex-snapshot
SPEC CPU2017
inferredcites →https://doi.org/10.1145/325478.325519openalex-snapshot
Interprocedural pointer alias analysis
inferredcites →https://doi.org/10.1145/358438.349325openalex-snapshot
Symbolic bounds analysis of pointers, array indices, and accessed memory regions
inferredcites →https://doi.org/10.1145/75277.75282openalex-snapshot
Fast interprocedual alias analysis
inferredcites →https://doi.org/10.1145/780822.781144openalex-snapshot
Points-to analysis using BDDs
inferredcites →https://doi.org/10.1145/781131.781164openalex-snapshot
A compiler framework for speculative analysis and optimizations
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.5281/zenodo.7064927openalex-snapshot
Scout Artifact

What points at this work

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

inferred← citeshttps://doi.org/10.1016/j.jpdc.2025.105136openalex-snapshot
The CAMINOS interconnection networks simulator
inferred← citeshttps://doi.org/10.1109/cgo68049.2026.11395202openalex-snapshot
PIP: Making Andersen’s Points-to Analysis Sound and Practical for Incomplete C Programs
inferred← citeshttps://doi.org/10.1109/micro61859.2024.00024openalex-snapshot
A Framework for Fine-Grained Program Versioning
inferred← citeshttps://doi.org/10.1145/3597503.3623300openalex-snapshot
Reorder Pointer Flow in Sound Concurrency Bug Prediction
inferred← citeshttps://doi.org/10.1145/3597503.3639212openalex-snapshot
Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction
inferred← citeshttps://doi.org/10.1145/3605573.3605644openalex-snapshot
ORAQL — Optimistic Responses to Alias Queries in LLVM
inferred← citeshttps://doi.org/10.1145/3611643.3617846openalex-snapshot
Detection of Optimizations Missed by the Compiler
inferred← citeshttps://doi.org/10.1145/3622859openalex-snapshot
Rapid: Region-Based Pointer Disambiguation
inferred← citeshttps://doi.org/10.1145/3656404openalex-snapshot
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
inferred← citeshttps://doi.org/10.1145/3729254openalex-snapshot
Relaxing Alias Analysis: Exploring the Unexplored Space
inferred← citeshttps://doi.org/10.1145/3763105openalex-snapshot
Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations
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.1145/3839454openalex-snapshot
Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses
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.