On the public citation graph
Heaps don't lie: countering unsoundness with heap snapshots
0 signed · 61 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/11537328_20openalex-snapshot
Model Checking Machine Code with the GNU Debugger
inferredcites →https://doi.org/10.1007/978-3-319-11692-1_14openalex-snapshot
Static Data Race Detection for Java Programs with Dynamic Class Loading
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_23openalex-snapshot
Soufflé: On Synthesis of Program Analyzers
inferredcites →https://doi.org/10.1007/978-3-540-24851-4_5openalex-snapshot
Pointer Analysis in the Presence of Dynamic Class Loading
inferredcites →https://doi.org/10.1007/978-3-642-24712-5_8openalex-snapshot
Dynamic Software Birthmark for Java Based on Heap Memory Analysis
inferredcites →https://doi.org/10.1007/978-3-642-39718-9_12openalex-snapshot
Preemptive Type Checking in Dynamically Typed Languages
inferredcites →https://doi.org/10.1007/978-3-662-48288-9_10openalex-snapshot
Effective Soundness-Guided Reflection Analysis
inferredcites →https://doi.org/10.1109/icse.2017.53openalex-snapshot
Challenges for Static Analysis of Java Reflection - Literature Review and Empirical Study
inferredcites →https://doi.org/10.1109/vissof.2009.5336418openalex-snapshot
Visualizing the Java heap to detect memory problems
inferredcites →https://doi.org/10.1145/1044834.1044835openalex-snapshot
Parameterized object sensitivity for points-to analysis for Java
inferredcites →https://doi.org/10.1145/1639949.1640110openalex-snapshot
Profile-guided static typing for dynamic scripting languages
inferredcites →https://doi.org/10.1145/1640089.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferredcites →https://doi.org/10.1145/1640089.1640110openalex-snapshot
Profile-guided static typing for dynamic scripting languages
inferredcites →https://doi.org/10.1145/1835804.1835822openalex-snapshot
Diagnosing memory leaks using graph mining on heap dumps
inferredcites →https://doi.org/10.1145/2491956.2462191openalex-snapshot
Hybrid context-sensitivity for points-to analysis
inferredcites →https://doi.org/10.1145/2723372.2742796openalex-snapshot
Design and Implementation of the LogicBlox System
inferredcites →https://doi.org/10.1145/2771284.2771288openalex-snapshot
Droidel: a general approach to Android framework modeling
inferredcites →https://doi.org/10.1145/2823363.2823367openalex-snapshot
Efficient dynamic analysis of the synchronization performance of Java applications
inferredcites →https://doi.org/10.1145/2970276.2970368openalex-snapshot
HybriDroid: static analysis framework for Android hybrid applications
inferredcites →https://doi.org/10.1145/3033019.3033029openalex-snapshot
Dynamic symbolic execution for polymorphism
inferredcites →https://doi.org/10.1145/3133926openalex-snapshot
P/Taint: unified points-to and taint analysis
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.3146openalex-snapshot
Automatic inspection of program state in an uncooperative environment
inferred← citeshttps://doi.org/10.1007/978-3-030-02768-1_4openalex-snapshot
On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-030-71500-7_12openalex-snapshot
Effects of Program Representation on Pointer Analyses — An Empirical Study
inferred← citeshttps://doi.org/10.1007/978-3-319-89363-1_8openalex-snapshot
EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110775openalex-snapshot
A Large Scale Analysis of Android — Web Hybridization
inferred← citeshttps://doi.org/10.1049/iet-sen.2018.5442openalex-snapshot
Overlap‐aware rapid type analysis for constructing one‐to‐one matched call graphs in regression test selection
inferred← citeshttps://doi.org/10.1109/apsec.2017.83openalex-snapshot
On the Use of Mined Stack Traces to Improve the Soundness of Statically Constructed Call Graphs
inferred← citeshttps://doi.org/10.1109/fairware59297.2023.00007openalex-snapshot
On Retrofitting Provenance for Transparent and Fair Software - Drivers and Challenges
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00146openalex-snapshot
PyCG: Practical Call Graph Generation in Python
inferred← citeshttps://doi.org/10.1109/scam.2019.00036openalex-snapshot
LUDroid: A Large Scale Analysis of Android – Web Hybridization
inferred← citeshttps://doi.org/10.1145/3213846.3213860openalex-snapshot
Shooting from the heap: ultra-scalable static analysis with heap snapshots
inferred← citeshttps://doi.org/10.1145/3290356openalex-snapshot
Concerto: a framework for combined concrete and abstract interpretation
inferred← citeshttps://doi.org/10.1145/3368089openalex-snapshot
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
inferred← citeshttps://doi.org/10.1145/3368089.3409698openalex-snapshot
Past-sensitive pointer analysis for symbolic execution
inferred← citeshttps://doi.org/10.1145/3368089.3417059openalex-snapshot
Scaling static taint analysis to industrial SOA applications: a case study at Alibaba
inferred← citeshttps://doi.org/10.1145/3377811.3380441openalex-snapshot
On the recall of static call graph construction in practice
inferred← citeshttps://doi.org/10.1145/3395363.3397368openalex-snapshot
Identifying Java calls in native code via binary scanning
inferred← citeshttps://doi.org/10.1145/3426428.3426922openalex-snapshot
Putting the semantics into semantic versioning
inferred← citeshttps://doi.org/10.1145/3464457openalex-snapshot
A Survey of Parametric Static Analysis
inferred← citeshttps://doi.org/10.1145/3589250openalex-snapshot
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
inferred← citeshttps://doi.org/10.1145/3589250.3596146openalex-snapshot
Extensible and Scalable Architecture for Hybrid Analysis
inferred← citeshttps://doi.org/10.1145/3656424openalex-snapshot
Reducing Static Analysis Unsoundness with Approximate Interpretation
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.