On the public citation graph

PAG - an efficient program analyzer generator

0 signed · 84 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-55984-1_13openalex-snapshot

The interprocedural coincidence theorem

inferredcites →https://doi.org/10.1007/3-540-57659-2_30openalex-snapshot

FIAT: A framework for interprocedural analysis and transformation

inferredcites →https://doi.org/10.1007/3-540-58950-3_371openalex-snapshot

Graph layout through the VCG tool

inferredcites →https://doi.org/10.1007/3-540-61739-6_33openalex-snapshot

Cache behavior prediction by abstract interpretation

inferredcites →https://doi.org/10.1007/978-3-662-01089-1_1openalex-snapshot

Invariance of Approximative Semantics with Respect to Program Transformations

inferredcites →https://doi.org/10.1007/bf00290339openalex-snapshot

Monotone data flow analysis frameworks

inferredcites →https://doi.org/10.1007/bfb0026424openalex-snapshot

Analysis of loops

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.1109/32.129219openalex-snapshot

SPARE: a development environment for program analysis algorithms

inferredcites →https://doi.org/10.1145/143095.143120openalex-snapshot

Sharlit---a tool for building optimizers

inferredcites →https://doi.org/10.1145/151640.151642openalex-snapshot

Engineering a simple, efficient code-generator generator

inferredcites →https://doi.org/10.1145/158511.158642openalex-snapshot

Automatic generation and management of interprocedural program analyses

inferredcites →https://doi.org/10.1145/199448.199462openalex-snapshot

Precise interprocedural dataflow analysis via graph reachability

inferredcites →https://doi.org/10.1145/200994.200998openalex-snapshot

Improving abstract interpretations by combining domains

inferredcites →https://doi.org/10.1145/237721.237725openalex-snapshot

Solving shape-analysis problems in languages with destructive updating

inferredcites →https://doi.org/10.1145/318593.318659openalex-snapshot

Constant propagation with conditional branches

inferredcites →https://doi.org/10.1145/512950.512973openalex-snapshot

Abstract interpretation

inferredcites →https://doi.org/10.1145/989393.989412openalex-snapshot

Interprocedural constant propagation

inferredcites →https://doi.org/10.5539/jpl.v4n1p211openalex-snapshot

THE RULE OF LAW IN NIGERIA: MYTH OR REALITY?

What points at this work

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

inferred← citeshttps://doi.org/10.3217/jucs-009-03-0191openalex-extracted

Using Program Checking to Ensure the Correctness of Compiler Implementations

inferred← citeshttps://doi.org/10.3217/jucs-012-07-0849openalex-extracted

The Language of the Visitor Design Pattern

inferred← citeshttps://doi.org/10.1002/9781119004707.ch8openalex-snapshot

Applying Abstract Interpretation to Demonstrate Functional Safety

inferred← citeshttps://doi.org/10.1002/spe.969openalex-snapshot

An algorithmic mitigation of large spurious interprocedural cycles in static analysis

inferred← citeshttps://doi.org/10.1007/3-540-45306-7_5openalex-snapshot

Imperative Program Transformation by Rewriting

inferred← citeshttps://doi.org/10.1007/3-540-45449-7_32openalex-snapshot

Reliable and Precise WCET Determination for a Real-Life Processor

inferred← citeshttps://doi.org/10.1007/3-540-45574-4_15openalex-snapshot

Optimizing the Use of High Performance Software Libraries

inferred← citeshttps://doi.org/10.1007/3-540-45789-5_16openalex-snapshot

Compactly Representing First-Order Structures for Static Analysis

inferred← citeshttps://doi.org/10.1007/3-540-45875-1_26openalex-snapshot

Call Graph and Control Flow Graph Visualization for Developers of Embedded Applications

inferred← citeshttps://doi.org/10.1007/3-540-47813-2_10openalex-snapshot

Static Monotonicity Analysis for λ-definable Functions over Lattices

inferred← citeshttps://doi.org/10.1007/978-3-540-30476-0_20openalex-snapshot

Component-Wise Instruction-Cache Behavior Prediction

inferred← citeshttps://doi.org/10.1007/978-3-540-31985-6_14openalex-snapshot

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules

inferred← citeshttps://doi.org/10.1007/978-3-540-45099-3_7openalex-snapshot

Checking Cleanness in Linked Lists

inferred← citeshttps://doi.org/10.1007/978-3-540-49051-7_5openalex-snapshot

Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis

inferred← citeshttps://doi.org/10.1007/978-3-540-73368-3_51openalex-snapshot

Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis

inferred← citeshttps://doi.org/10.1007/978-3-540-77050-3_4openalex-snapshot

Program Analysis Using Weighted Pushdown Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-10672-9_4openalex-snapshot

Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation

inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_35openalex-snapshot

Model-Based Static Code Analysis for MATLAB Models

inferred← citeshttps://doi.org/10.1007/978-3-662-01069-3_60openalex-snapshot

Run-Time Guarantees for Real-Time Systems—The USES Approach

inferred← citeshttps://doi.org/10.1007/978-90-481-9255-7openalex-snapshot

Debugging at the Electronic System Level

inferred← citeshttps://doi.org/10.1007/978-90-481-9255-7_3openalex-snapshot

Early Error Detection

inferred← citeshttps://doi.org/10.1007/bf03037293openalex-snapshot

Static extensivity analysis for λ-definable functions over lattices

inferred← citeshttps://doi.org/10.1007/s10009-012-0248-8openalex-snapshot

Architecture exploration and timing estimation during early design phases

inferred← citeshttps://doi.org/10.1007/s10270-012-0266-8openalex-snapshot

Bridging the chasm between MDE and the world of compilation

inferred← citeshttps://doi.org/10.1007/s11219-011-9138-7openalex-snapshot

System-specific static code analyses: a case study in the complex embedded systems domain

inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.066openalex-snapshot

Estimating Non-functional Properties of Component-based Software Based on Resource Consumption

inferred← citeshttps://doi.org/10.1016/j.entcs.2010.09.016openalex-snapshot

Some Experience on the Software Engineering of Abstract Interpretation Tools

inferred← citeshttps://doi.org/10.1016/j.infsof.2009.04.014openalex-snapshot

May/must analysis and the DFAGen data-flow analysis generator

inferred← citeshttps://doi.org/10.1016/j.scico.2026.103570openalex-snapshot

Synergistic program analyzer

inferred← citeshttps://doi.org/10.1023/a:1008141130870openalex-snapshot

Fast and Precise WCET Prediction by Separated Cache and Path Analyses

inferred← citeshttps://doi.org/10.1023/a:1008186323068openalex-snapshot

Efficient and Precise Cache Behavior Prediction for Real-Time Systems

inferred← citeshttps://doi.org/10.1049/iet-sen.2012.0049openalex-snapshot

Computation of alias sets from shape graphs for comparison of shape analysis precision

inferred← citeshttps://doi.org/10.1109/access.2020.2997715openalex-snapshot

IR-Level Dynamic Data Dependence Using Abstract Interpretation Towards Speculative Parallelization

inferred← citeshttps://doi.org/10.1109/access.2022.3160729openalex-snapshot

Accelerating Data Dependence Profiling Through Abstract Interpretation of Loop Instructions

inferred← citeshttps://doi.org/10.1109/compsac.2012.43openalex-snapshot

Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security

inferred← citeshttps://doi.org/10.1109/jproc.2004.840489openalex-snapshot

Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries

inferred← citeshttps://doi.org/10.1109/pcee.2002.1115214openalex-snapshot

Automatic loop parallelization: an abstract interpretation approach

inferred← citeshttps://doi.org/10.1109/scam.2005.23openalex-snapshot

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

inferred← citeshttps://doi.org/10.1109/scam.2008.28openalex-snapshot

Automatic Determination of May/Must Set Usage in Data-Flow Analysis

inferred← citeshttps://doi.org/10.1109/scam.2011.11openalex-snapshot

Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision

inferred← citeshttps://doi.org/10.1145/1134650.1134658openalex-snapshot

Pluggable abstract domains for analyzing embedded software

inferred← citeshttps://doi.org/10.1145/1159974.1134658openalex-snapshot

Pluggable abstract domains for analyzing embedded software

inferred← citeshttps://doi.org/10.1145/1176887.1176929openalex-snapshot

Modeling a system controller for timing analysis

inferred← citeshttps://doi.org/10.1145/1178625.1178628openalex-snapshot

Efficient path conditions in dependence graphs for software safety analysis

inferred← citeshttps://doi.org/10.1145/1629335.1629354openalex-snapshot

Symbolic state traversal for WCET analysis

inferred← citeshttps://doi.org/10.1145/1787275.1787345openalex-snapshot

Scalable simulation of complex network routing policies

inferred← citeshttps://doi.org/10.1145/2254064.2254112openalex-snapshot

Synthesizing software verifiers from proof rules

inferred← citeshttps://doi.org/10.1145/2345156.2254112openalex-snapshot

Synthesizing software verifiers from proof rules

inferred← citeshttps://doi.org/10.1145/2908080.2908096openalex-snapshot

From Datalog to flix: a declarative language for fixed points on lattices

inferred← citeshttps://doi.org/10.1145/2980983.2908096openalex-snapshot

From Datalog to flix: a declarative language for fixed points on lattices

inferred← citeshttps://doi.org/10.1145/314403.314432openalex-snapshot

Pipeline behavior prediction for superscalar processors by abstract interpretation

inferred← citeshttps://doi.org/10.1145/315253.314432openalex-snapshot

Pipeline behavior prediction for superscalar processors by abstract interpretation

inferred← citeshttps://doi.org/10.1145/3178372.3179515openalex-snapshot

CAnDL: a domain specific language for compiler analysis

inferred← citeshttps://doi.org/10.1145/502217.502229openalex-snapshot

A novel approach to code analysis of digital signal processing systems

inferred← citeshttps://doi.org/10.1155/s1110865702205065openalex-snapshot

Design and DSP Implementation of Fixed-Point Systems

inferred← citeshttps://doi.org/10.1371/journal.pone.0230904openalex-snapshot

Binary-level data dependence analysis of hot execution regions using abstract interpretation at runtime

inferred← citeshttps://doi.org/10.17877/de290r-16409openalex-snapshot

Tight integration of cache, path and task-interference modeling for the analysis of hard real time systems

inferred← citeshttps://doi.org/10.22028/d291-25778openalex-snapshot

Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis

inferred← citeshttps://doi.org/10.31390/gradschool_dissertations.1525openalex-snapshot

Deductive formal verification of embedded systems

inferred← citeshttps://doi.org/10.4230/dagsemproc.08161.7openalex-snapshot

Source-To-Source Analysis with SATIrE - an Example Revisited

inferred← citeshttps://doi.org/10.4230/dagsemproc.08161.9openalex-snapshot

Value Flow Graph Analysis with SATIrE

inferred← citeshttps://doi.org/10.4230/oasics.wcet.2007.1196openalex-snapshot

Analysis of path exclusion at the machine code level

inferred← citeshttps://doi.org/10.4230/oasics.wcet.2008.1661openalex-snapshot

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

inferred← citeshttps://doi.org/10.48550/arxiv.0903.2251openalex-snapshot

Constraint solving for high-level WCET analysis

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.