On the public citation graph
JavaDL: automatically incrementalizing Java bug pattern detection
0 signed · 79 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.1002/spe.2346openalex-snapshot
SPOON : A library for implementing analyses and transformations of Java source code
inferredcites →https://doi.org/10.1007/3-540-45821-2_19openalex-snapshot
Meta-programming with Concrete Object Syntax
inferredcites →https://doi.org/10.1007/978-1-4615-2207-2_8openalex-snapshot
Demand Interprocedural Program Analysis Using Logic Databases
inferredcites →https://doi.org/10.1007/978-3-319-17524-9_1openalex-snapshot
Moving Fast with Software Verification
inferredcites →https://doi.org/10.1007/978-3-540-25935-0_14openalex-snapshot
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
inferredcites →https://doi.org/10.1007/978-3-540-69611-7_7openalex-snapshot
Automatic Incrementalization of Prolog Based Static Analyses
inferredcites →https://doi.org/10.1007/978-3-540-71229-9_15openalex-snapshot
A Declarative Framework for Analysis and Optimization
inferredcites →https://doi.org/10.1007/978-3-540-88643-3_3openalex-snapshot
.QL: Object-Oriented Queries Made Easy
inferredcites →https://doi.org/10.1007/978-3-642-00434-6_17openalex-snapshot
DeFacto: Language-Parametric Fact Extraction from Source Code
inferredcites →https://doi.org/10.1007/978-3-642-19440-5_2openalex-snapshot
Automated Selective Caching for Reference Attribute Grammars
inferredcites →https://doi.org/10.1007/978-3-642-19440-5_22openalex-snapshot
Interactive Disambiguation of Meta Programs with Concrete Object Syntax
inferredcites →https://doi.org/10.1007/978-3-662-53413-7_5openalex-snapshot
Structure-Sensitive Points-To Analysis for C and C++
inferredcites →https://doi.org/10.1007/bf01692511openalex-snapshot
Semantics of context-free languages
inferredcites →https://doi.org/10.1007/s10515-018-0238-5openalex-snapshot
Cleaning up copy–paste clones with interactive merging
inferredcites →https://doi.org/10.1007/s10664-019-09750-5openalex-snapshot
How developers engage with static analysis tools in different contexts
inferredcites →https://doi.org/10.1016/j.entcs.2008.03.044openalex-snapshot
SPPF-Style Parsing From Earley Recognisers
inferredcites →https://doi.org/10.1016/j.scico.2009.07.004openalex-snapshot
Silver: An extensible attribute grammar system
inferredcites →https://doi.org/10.1016/j.scico.2012.02.002openalex-snapshot
Extensible intraprocedural flow analysis at the abstract syntax tree level
inferredcites →https://doi.org/10.1016/s0167-6423(02)00109-0openalex-snapshot
JastAdd—an aspect-oriented compiler construction system
inferredcites →https://doi.org/10.1109/69.43410openalex-snapshot
What you always wanted to know about Datalog (and never dared to ask)
inferredcites →https://doi.org/10.1109/icse-nier52604.2021.00021openalex-snapshot
Software Ticks Need No Specifications
inferredcites →https://doi.org/10.1109/icse.2015.76openalex-snapshot
Tricorder: Building a Program Analysis Ecosystem
inferredcites →https://doi.org/10.1109/lics.2002.1029817openalex-snapshot
Separation logic: a logic for shared mutable data structures
inferredcites →https://doi.org/10.1109/ms.2008.130openalex-snapshot
Using Static Analysis to Find Bugs
inferredcites →https://doi.org/10.1109/scam.2012.28openalex-snapshot
Building Useful Program Analysis Tools Using an Extensible Java Compiler
inferredcites →https://doi.org/10.1109/scam52516.2021.00009openalex-snapshot
A Precise Framework for Source-Level Control-Flow Analysis
inferredcites →https://doi.org/10.1145/1094811.1094840openalex-snapshot
Finding application errors and security flaws using PQL
inferredcites →https://doi.org/10.1145/1244381.1244398openalex-snapshot
Behavioral similarity matching using concrete source code templates in logic queries
inferredcites →https://doi.org/10.1145/1297105.1297029openalex-snapshot
The jastadd extensible java compiler
inferredcites →https://doi.org/10.1145/1416563.1416566openalex-snapshot
Domain-specific languages and program generation with meta-AspectJ
inferredcites →https://doi.org/10.1145/1640089.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferredcites →https://doi.org/10.1145/170036.170066openalex-snapshot
Maintaining views incrementally
inferredcites →https://doi.org/10.1145/199448.199462openalex-snapshot
Precise interprocedural dataflow analysis via graph reachability
inferredcites →https://doi.org/10.1145/2093157.2093168openalex-snapshot
The SOUL tool suite for querying programs in symbiosis with Eclipse
inferredcites →https://doi.org/10.1145/2500828.2500843openalex-snapshot
Extending the JastAdd extensible Java compiler to Java 7
inferredcites →https://doi.org/10.1145/2568225.2568243openalex-snapshot
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes
inferredcites →https://doi.org/10.1145/2610384.2628055openalex-snapshot
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
inferredcites →https://doi.org/10.1145/2892208.2892226openalex-snapshot
On fast large-scale program analysis in Datalog
inferredcites →https://doi.org/10.1145/2980983.2908096openalex-snapshot
From Datalog to flix: a declarative language for fixed points on lattices
inferredcites →https://doi.org/10.1145/3093333.3009871openalex-snapshot
Java generics are turing complete
inferredcites →https://doi.org/10.1145/3136014.3136032openalex-snapshot
Concurrent circular reference attribute grammars
inferredcites →https://doi.org/10.1145/3138224openalex-snapshot
Reliable and automatic composition of language extensions to C: the ableC extensible language framework
inferredcites →https://doi.org/10.1145/3192366.3192417openalex-snapshot
User-guided program reasoning using Bayesian inference
inferredcites →https://doi.org/10.1145/3238147.3238213openalex-snapshot
How many of all bugs do we find? a study of static bug detectors
inferredcites →https://doi.org/10.1145/3276509openalex-snapshot
Incrementalizing lattice-based program analyses in Datalog
inferredcites →https://doi.org/10.1145/3276604.3276616openalex-snapshot
Continuous model validation using reference attribute grammars
inferredcites →https://doi.org/10.1145/3295739openalex-snapshot
Understanding and Analyzing Java Reflection
inferredcites →https://doi.org/10.1145/3314221.3314616openalex-snapshot
Continuously reasoning about programs using differential Bayesian inference
inferredcites →https://doi.org/10.1145/3315568.3329970openalex-snapshot
MetaDL: analysing Datalog in Datalog
inferredcites →https://doi.org/10.1145/3368089.3409765openalex-snapshot
Modular collaborative program analysis in OPAL
inferredcites →https://doi.org/10.1145/6012.15399openalex-snapshot
Magic sets and other strange ways to implement logic programs (extended abstract)
inferredcites →https://doi.org/10.1145/643603.643622openalex-snapshot
Navigating and querying code without getting lost
inferredcites →https://doi.org/10.1145/73721.73736openalex-snapshot
Bottom-up beats top-down for datalog
inferredcites →https://doi.org/10.5281/zenodo.5090140openalex-snapshot
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s10009-024-00771-0openalex-snapshot
IntraJ: an on-demand framework for intraprocedural Java code analysis
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112179openalex-snapshot
An empirical study on bug severity estimation using source code metrics and static analysis
inferred← citeshttps://doi.org/10.1109/access.2024.3449106openalex-snapshot
PyBugHive: A Comprehensive Database of Manually Validated, Reproducible Python Bugs
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00194openalex-snapshot
Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program Changes
inferred← citeshttps://doi.org/10.1109/scam55253.2022.00033openalex-snapshot
JFeature: Know Your Corpus
inferred← citeshttps://doi.org/10.1109/scam67354.2025.00009openalex-snapshot
Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis
inferred← citeshttps://doi.org/10.1134/s0361768825700161openalex-snapshot
PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+)
inferred← citeshttps://doi.org/10.1145/3640537.3641579openalex-snapshot
Clog: A Declarative Language for C Static Code Checkers
inferred← citeshttps://doi.org/10.1145/3687997.3695644openalex-snapshot
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
inferred← citeshttps://doi.org/10.1145/3725214openalex-snapshot
SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis
inferred← citeshttps://doi.org/10.1145/3755881.3755886openalex-snapshot
Towards understanding the security issues of Python programs
inferred← citeshttps://doi.org/10.1145/3803437.3805601openalex-snapshot
On the Energy Cost of Static Analysis Precision: An Empirical Study of SpotBugs Effort Levels
inferred← citeshttps://doi.org/10.1145/3808300openalex-snapshot
Exploiting Sophisticated Static Analysis for Verilog
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.