On the public citation graph
Concerto: a framework for combined concrete and abstract interpretation
0 signed · 66 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/11817963_38openalex-snapshot
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
inferredcites →https://doi.org/10.1007/978-3-319-26529-2_26openalex-snapshot
More Sound Static Handling of Java Reflection
inferredcites →https://doi.org/10.1007/978-3-540-77505-8_23openalex-snapshot
Combination of Abstractions in the ASTRÉE Static Analyzer
inferredcites →https://doi.org/10.1007/978-3-540-93900-9_20openalex-snapshot
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
inferredcites →https://doi.org/10.1007/978-3-642-13464-7_15openalex-snapshot
Static Type Analysis of Pattern Matching by Abstract Interpretation
inferredcites →https://doi.org/10.1007/978-3-642-18070-5_2openalex-snapshot
Static Contract Checking with Abstract Interpretation
inferredcites →https://doi.org/10.1007/978-3-642-35873-9_23openalex-snapshot
Reduced Product Combination of Abstract Domains for Shapes
inferredcites →https://doi.org/10.1007/978-3-642-54013-4_17openalex-snapshot
Generic Combination of Heap and Value Analyses in Abstract Interpretation
inferredcites →https://doi.org/10.1007/978-3-662-48288-9_10openalex-snapshot
Effective Soundness-Guided Reflection Analysis
inferredcites →https://doi.org/10.1007/bf00290339openalex-snapshot
Monotone data flow analysis frameworks
inferredcites →https://doi.org/10.1007/bfb0039704openalex-snapshot
Efficient chaotic iteration strategies with widenings
inferredcites →https://doi.org/10.1016/0743-1066(92)90030-7openalex-snapshot
Abstract interpretation and application to logic programs
inferredcites →https://doi.org/10.1023/a:1010095604496openalex-snapshot
Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler
inferredcites →https://doi.org/10.1093/logcom/2.4.511openalex-snapshot
Abstract Interpretation Frameworks
inferredcites →https://doi.org/10.1109/ase.2015.28openalex-snapshot
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T)
inferredcites →https://doi.org/10.1109/ase.2015.69openalex-snapshot
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)
inferredcites →https://doi.org/10.1109/sp.2008.22openalex-snapshot
Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications
inferredcites →https://doi.org/10.1145/1273463.1273480openalex-snapshot
Blended analysis for performance understanding of framework-based applications
inferredcites →https://doi.org/10.1145/1328408.1328410openalex-snapshot
Securing web applications with static and dynamic information flow tracking
inferredcites →https://doi.org/10.1145/1348250.1348255openalex-snapshot
Effective typestate verification in the presence of aliasing
inferredcites →https://doi.org/10.1145/1542476.1542483openalex-snapshot
Staged information flow for javascript
inferredcites →https://doi.org/10.1145/178243.178263openalex-snapshot
Interprocedural may-alias analysis for pointers
inferredcites →https://doi.org/10.1145/1811212.1811216openalex-snapshot
Interval analysis of microcontroller code using abstract interpretation of hardware and software
inferredcites →https://doi.org/10.1145/215465.215469openalex-snapshot
Self-applicable online partial evaluation of the pure lambda calculus
inferredcites →https://doi.org/10.1145/2483760.2483788openalex-snapshot
Practical blended taint analysis for JavaScript
inferredcites →https://doi.org/10.1145/2568225.2568293openalex-snapshot
Enhancing symbolic execution with veritesting
inferredcites →https://doi.org/10.1145/2771284.2771288openalex-snapshot
Droidel: a general approach to Android framework modeling
inferredcites →https://doi.org/10.1145/2908080.2908127openalex-snapshot
Just-in-time static type checking for dynamic languages
inferredcites →https://doi.org/10.1145/3133892openalex-snapshot
Heaps don't lie: countering unsoundness with heap snapshots
inferredcites →https://doi.org/10.1145/3158102openalex-snapshot
Jones-optimal partial evaluation by specialization-safe normalization
inferredcites →https://doi.org/10.1145/353171.353189openalex-snapshot
Practical virtual method call resolution for Java
inferredcites →https://doi.org/10.1145/354222.353189openalex-snapshot
Practical virtual method call resolution for Java
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.1145/567752.567776openalex-snapshot
Flow analysis and optimization of LISP-like structures
inferredcites →https://doi.org/10.1145/567752.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.2140/pjm.1955.5.285openalex-snapshot
A lattice-theoretical fixpoint theorem and its applications
inferredcites →https://doi.org/10.2140/pjm.1979.82.43openalex-snapshot
Constructive versions of Tarski’s fixed point theorems
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-32304-2_13openalex-snapshot
Verifying Numerical Programs via Iterative Abstract Testing
inferred← citeshttps://doi.org/10.1007/978-3-030-63618-0_1openalex-snapshot
SARL: OO Framework Specification for Static Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_9openalex-snapshot
Automated Safety Verification of Programs Invoking Neural Networks
inferred← citeshttps://doi.org/10.1016/j.cose.2025.104821openalex-snapshot
SemTaint: A scalable taint analysis approach for JavaWeb frameworks and composite containers
inferred← citeshttps://doi.org/10.1145/3385412.3386026openalex-snapshot
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room
inferred← citeshttps://doi.org/10.1145/3464457openalex-snapshot
A Survey of Parametric Static Analysis
inferred← citeshttps://doi.org/10.1145/3468264.3468556openalex-snapshot
Accelerating JavaScript static analysis via dynamic shortcuts
inferred← citeshttps://doi.org/10.1145/3551349.3556910openalex-snapshot
Jasmine: A Static Analysis Framework for Spring Core Technologies
inferred← citeshttps://doi.org/10.1145/3656424openalex-snapshot
Reducing Static Analysis Unsoundness with Approximate Interpretation
inferred← citeshttps://doi.org/10.1145/3729307openalex-snapshot
Pointer Analysis for Database-Backed Applications
inferred← citeshttps://doi.org/10.1145/3747539openalex-snapshot
Call-Guarded Abstract Definitional Interpreters
inferred← citeshttps://doi.org/10.17760/d20560794openalex-snapshot
Optimizing asynchronous JavaScript applications
inferred← citeshttps://doi.org/10.70675/51836a90zee52z460cza2bbz580017683abaopenalex-snapshot
Testability Tarpits - Navigating the Challenges of Static Tools in Web Applications
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.