On the public citation graph
Monotone data flow analysis frameworks
0 signed · 350 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/bf00289078openalex-snapshot
Fast algorithms for the elimination of common subexpressions
inferredcites →https://doi.org/10.1039/c39730000387openalex-snapshot
Demethylation of 7-methylguanosine with lithium 2-methylpropane-2-thiolate
inferredcites →https://doi.org/10.1080/00207167108803048openalex-snapshot
A global flow analysis algorithm
inferredcites →https://doi.org/10.1093/comjnl/17.4.336openalex-snapshot
A Mathematical Theory of Global Program Optimization
inferredcites →https://doi.org/10.1109/tse.1975.6312852openalex-snapshot
Property extraction in well-founded property sets
inferredcites →https://doi.org/10.1137/0204044openalex-snapshot
A Simple Algorithm for Global Data Flow Analysis Problems
inferredcites →https://doi.org/10.1145/321921.321938openalex-snapshot
Global Data Flow Analysis and Iterative Algorithms
inferredcites →https://doi.org/10.1145/321921.321939openalex-snapshot
A Fast and Usually Linear Algorithm for Global Flow Analysis
inferredcites →https://doi.org/10.1145/390013.808480openalex-snapshot
Global common subexpression elimination
inferredcites →https://doi.org/10.1145/512927.512945openalex-snapshot
A unified approach to global program optimization
inferredcites →https://doi.org/10.1145/512976.512977openalex-snapshot
Application of lattice algebra to loop optimization
inferredcites →https://doi.org/10.13182/nse70-a19706openalex-snapshot
Formal Languages and their Relation to Automata
inferredcites →https://doi.org/10.2307/2005764openalex-snapshot
A Mathematical Theory of Global Program Optimization
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-08-0829openalex-extracted
Constant Propagation on Predicated Code.
inferred← citeshttps://doi.org/10.1002/cpa.3160480903openalex-snapshot
Interprocedural analysis and optimization
inferred← citeshttps://doi.org/10.1002/ecjc.4430760803openalex-snapshot
A class of fixed‐point problems on graphs and iterative solution algorithms
inferred← citeshttps://doi.org/10.1002/ecjc.4430770201openalex-snapshot
The structure of elimination‐type algorithms for a class of fixed‐point problems on graphs
inferred← citeshttps://doi.org/10.1002/spe.1133openalex-snapshot
Language design and analyzability: a retrospective
inferred← citeshttps://doi.org/10.1002/stvr.1843openalex-snapshot
On subsumption relationships in data flow testing
inferred← citeshttps://doi.org/10.1007/11513988_44openalex-snapshot
Extended Weighted Pushdown Systems
inferred← citeshttps://doi.org/10.1007/11860990_22openalex-snapshot
Fast Profile-Based Partial Redundancy Elimination
inferred← citeshttps://doi.org/10.1007/3-540-10843-2_9openalex-snapshot
Data flow analysis of applicative programs
inferred← citeshttps://doi.org/10.1007/3-540-10856-4_71openalex-snapshot
The transformational machine: Theme and variations
inferred← citeshttps://doi.org/10.1007/3-540-16078-7_61openalex-snapshot
Abstract interpretation of denotational definitions
inferred← citeshttps://doi.org/10.1007/3-540-17660-8_47openalex-snapshot
Optimal run time optimization proved by a new look at abstract interpretations
inferred← citeshttps://doi.org/10.1007/3-540-18991-2_10openalex-snapshot
Analysis of interprocedural side effects in a parallel programming environment
inferred← citeshttps://doi.org/10.1007/3-540-44905-1_18openalex-snapshot
A Precise Fixpoint Reaching Definition Analysis for Arrays
inferred← citeshttps://doi.org/10.1007/3-540-46423-9_7openalex-snapshot
Constant Propagation on the Value Graph: Simple Constants and Beyond
inferred← citeshttps://doi.org/10.1007/3-540-48092-7_13openalex-snapshot
Optimization Under the Perspective of Soundness, Completeness, and Reusability
inferred← citeshttps://doi.org/10.1007/3-540-48311-x_51openalex-snapshot
Parallel Data-Flow Analysis of Explicitly Parallel Programs
inferred← citeshttps://doi.org/10.1007/3-540-49059-0_25openalex-snapshot
From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach
inferred← citeshttps://doi.org/10.1007/3-540-49727-7_20openalex-snapshot
A New Solution to the Hidden Copy Problem
inferred← citeshttps://doi.org/10.1007/3-540-51486-4_95openalex-snapshot
Optimal data flow analysis via observational equivalence
inferred← citeshttps://doi.org/10.1007/3-540-52048-1_42openalex-snapshot
Annotated program transformations
inferred← citeshttps://doi.org/10.1007/3-540-55253-7_19openalex-snapshot
Interprocedural type propagation for object-oriented languages
inferred← citeshttps://doi.org/10.1007/3-540-55984-1_13openalex-snapshot
The interprocedural coincidence theorem
inferred← citeshttps://doi.org/10.1007/3-540-57877-3_14openalex-snapshot
Flow grammars — a flow analysis methodology
inferred← citeshttps://doi.org/10.1007/3-540-57877-3_24openalex-snapshot
Reducing the cost of data flow analysis by congruence partitioning
inferred← citeshttps://doi.org/10.1007/3-540-60360-3_31openalex-snapshot
Generation of efficient interprocedural analyzers with PAG
inferred← citeshttps://doi.org/10.1007/3-540-60360-3_35openalex-snapshot
Complementation in abstract interpretation
inferred← citeshttps://doi.org/10.1007/3-540-60630-0_13openalex-snapshot
Parallelism for free: Bitvector analyses ⇒ no state explosion!
inferred← citeshttps://doi.org/10.1007/3-540-61053-7_56openalex-snapshot
Non-monotone fixpoint iterations to resolve second order effects
inferred← citeshttps://doi.org/10.1007/3-540-61580-6_21openalex-snapshot
Specialization of imperative programs through analysis of relational expressions
inferred← citeshttps://doi.org/10.1007/3-540-61626-8_59openalex-snapshot
Partial dead code elimination for parallel programs
inferred← citeshttps://doi.org/10.1007/3-540-61739-6_30openalex-snapshot
Semantics-directed program analysis: A tool-maker's perspective
inferred← citeshttps://doi.org/10.1007/3-540-62064-8_29openalex-snapshot
The tree equivalence problem for linear recursion schemes
inferred← citeshttps://doi.org/10.1007/3540539816_78openalex-snapshot
Efficient code motion and an adaption to strength reduction
inferred← citeshttps://doi.org/10.1007/3540543961_24openalex-snapshot
For a better support of static data flow
inferred← citeshttps://doi.org/10.1007/978-1-4020-6585-9_8openalex-snapshot
Transformational Derivation of an Improved Alias Analysis Algorithm
inferred← citeshttps://doi.org/10.1007/978-1-4471-4156-3_4openalex-snapshot
A First-Order Functional Language
inferred← citeshttps://doi.org/10.1007/978-1-84882-240-5_5openalex-snapshot
Intermediate Program Representation
inferred← citeshttps://doi.org/10.1007/978-3-030-17465-1_22openalex-snapshot
PhASAR: An Inter-procedural Static Analysis Framework for C/C++
inferred← citeshttps://doi.org/10.1007/978-3-030-72016-2openalex-snapshot
Tools and Algorithms for the Construction and Analysis of Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_2openalex-snapshot
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
inferred← citeshttps://doi.org/10.1007/978-3-031-02334-7openalex-snapshot
Analysis Techniques for Information Security
inferred← citeshttps://doi.org/10.1007/978-3-031-24950-1_4openalex-snapshot
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference
inferred← citeshttps://doi.org/10.1007/978-3-031-30823-9_32openalex-snapshot
Make Flows Small Again: Revisiting the Flow Framework
inferred← citeshttps://doi.org/10.1007/978-3-032-23453-7_8openalex-snapshot
Prompting Large Language Models for Data-Flow Analysis: Addressing Common Errors for Better Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-032-35506-5_15openalex-snapshot
Efficient Sound Analysis of Recursive Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-10936-7_13openalex-snapshot
Sparse Dataflow Analysis with Pointers and Reachability
inferred← citeshttps://doi.org/10.1007/978-3-319-47166-2_16openalex-snapshot
Sparse Analysis of Variable Path Predicates Based upon SSA-Form
inferred← citeshttps://doi.org/10.1007/978-3-319-60789-4_4openalex-snapshot
A First-Order Functional Language
inferred← citeshttps://doi.org/10.1007/978-3-319-96142-2_8openalex-snapshot
Program Analysis Is Harder Than Verification: A Computability Perspective
inferred← citeshttps://doi.org/10.1007/978-3-540-30081-6_11openalex-snapshot
A Runtime System for XML Transformations in Java
inferred← citeshttps://doi.org/10.1007/978-3-540-30579-8_6openalex-snapshot
Checking Herbrand Equalities and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-540-40018-9_10openalex-snapshot
Using Locality of Flow in Dataflow Analyses
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-49051-7_7openalex-snapshot
Expansion-Based Removal of Semantic Partial Redundancies
inferred← citeshttps://doi.org/10.1007/978-3-540-69850-0_1openalex-snapshot
The Birth of Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-70545-1_6openalex-snapshot
Abstract Interpretation with Applications to Timing Validation
inferred← citeshttps://doi.org/10.1007/978-3-540-73589-2_25openalex-snapshot
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
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-540-78800-3_20openalex-snapshot
Interprocedural Analysis of Concurrent Programs Under a Context Bound
inferred← citeshttps://doi.org/10.1007/978-3-642-03237-0_17openalex-snapshot
Type Analysis for JavaScript
inferred← citeshttps://doi.org/10.1007/978-3-642-03331-5_1openalex-snapshot
Grundlagen und intraprozedurale Optimierung
inferred← citeshttps://doi.org/10.1007/978-3-642-11970-5_8openalex-snapshot
Practical Extensions to the IFDS Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-642-15769-1_20openalex-snapshot
Interprocedural Analysis with Lazy Propagation
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_11openalex-snapshot
Dataflow Analysis for Datarace-Free Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_6openalex-snapshot
Transfer Function Synthesis without Quantifier Elimination
inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_9openalex-snapshot
Galois Connections for Flow Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-54013-4_26openalex-snapshot
Widening for Control-Flow
inferred← citeshttps://doi.org/10.1007/978-3-642-87956-2_6openalex-snapshot
Definition Einer Programmanalysemaschine in VDL
inferred← citeshttps://doi.org/10.1007/978-3-662-58771-3_15openalex-snapshot
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks
inferred← citeshttps://doi.org/10.1007/978-981-95-3537-8_21openalex-snapshot
RustGuard: Detecting Rust Data Leak Issues with Context-Sensitive Static Taint Analysis
inferred← citeshttps://doi.org/10.1007/bf00263194openalex-snapshot
A denotational framework for data flow analysis
inferred← citeshttps://doi.org/10.1007/bf00282621openalex-snapshot
An efficient general iterative algorithm for dataflow analysis
inferred← citeshttps://doi.org/10.1007/bf01070122openalex-snapshot
Iterative methods of program analysis
inferred← citeshttps://doi.org/10.1007/bf01072165openalex-snapshot
Search for invariant linear relationships in programs
inferred← citeshttps://doi.org/10.1007/bf01082683openalex-snapshot
Iterative methods of program analysis: Equalities and inequalities
inferred← citeshttps://doi.org/10.1007/bf01130538openalex-snapshot
Program reduction allowing for additional specifications
inferred← citeshttps://doi.org/10.1007/bf01237234openalex-snapshot
Properties of data flow frameworks
inferred← citeshttps://doi.org/10.1007/bf02242267openalex-snapshot
A region analysis algorithm for the live variables problem
inferred← citeshttps://doi.org/10.1007/bf03180570openalex-snapshot
A security flow control algorithm and its denotational semantics correctness proof
inferred← citeshttps://doi.org/10.1007/bfb0002754openalex-snapshot
Experiences in analyzing data dependences for programs with pointers and structures
inferred← citeshttps://doi.org/10.1007/bfb0036935openalex-snapshot
Strong abstract interpretation using power domains
inferred← citeshttps://doi.org/10.1007/bfb0055009openalex-snapshot
Symbolic reaching definitions analysis of Ada programs
inferred← citeshttps://doi.org/10.1007/s002360050101openalex-snapshot
A fine-grained data-flow analysis framework
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.1007/s100090050017openalex-snapshot
PAG - an efficient program analyzer generator
inferred← citeshttps://doi.org/10.1007/s10207-009-0086-1openalex-snapshot
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs
inferred← citeshttps://doi.org/10.1007/s10990-005-7005-6openalex-snapshot
Transformational Derivation of an Improved Alias Analysis Algorithm
inferred← citeshttps://doi.org/10.1007/s11334-013-0198-7openalex-snapshot
Precise shape analysis using field sensitivity
inferred← citeshttps://doi.org/10.1007/s11432-016-5572-2openalex-snapshot
High-confidence software evolution
inferred← citeshttps://doi.org/10.1016/0022-0000(86)90031-0openalex-snapshot
Efficient symbolic analysis of programs
inferred← citeshttps://doi.org/10.1016/0096-0551(90)90021-gopenalex-snapshot
Incremental generation of LR parsers
inferred← citeshttps://doi.org/10.1016/0167-6423(88)90033-0openalex-snapshot
Program derivation by fixed point computation
inferred← citeshttps://doi.org/10.1016/0167-6423(94)00006-9openalex-snapshot
Interprocedural type propagation for object-oriented languages
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90198-qopenalex-snapshot
Mixed computation and compilation: New approaches to old problems
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90392-fopenalex-snapshot
Finite constants: characterizations of a new decidable set of constants
inferred← citeshttps://doi.org/10.1016/0743-7315(88)90011-1openalex-snapshot
Analysis of interprocedural side effects in a parallel programming environment
inferred← citeshttps://doi.org/10.1016/b978-0-12-815412-0.00015-2openalex-snapshot
Data-Flow Analysis
inferred← citeshttps://doi.org/10.1016/j.cola.2019.100924openalex-snapshot
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
inferred← citeshttps://doi.org/10.1016/j.ic.2022.104953openalex-snapshot
Intensional Kleene and Rice theorems for abstract program semantics
inferred← citeshttps://doi.org/10.1016/j.ipl.2005.11.017openalex-snapshot
Using postdomination to reduce space requirements of data flow analysis
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.06.003openalex-snapshot
Demand-driven interprocedural analysis for map-based abstract domains
inferred← citeshttps://doi.org/10.1016/j.jsc.2011.12.051openalex-snapshot
Applying abstract acceleration to (co-)reachability analysis of reactive programs
inferred← citeshttps://doi.org/10.1016/j.scico.2006.01.009openalex-snapshot
Describing data flow analysis techniques with Kleene algebra
inferred← citeshttps://doi.org/10.1016/j.scico.2006.03.007openalex-snapshot
Abstract interpretation of combinational asynchronous circuits
inferred← citeshttps://doi.org/10.1016/j.scico.2009.11.007openalex-snapshot
XML graphs in program analysis
inferred← citeshttps://doi.org/10.1016/j.scico.2012.10.011openalex-snapshot
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
inferred← citeshttps://doi.org/10.1016/j.scico.2013.09.016openalex-snapshot
Abstract acceleration in linear relation analysis
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.06.019openalex-snapshot
On the computational complexity of Data Flow Analysis over finite bounded meet semilattices
inferred← citeshttps://doi.org/10.1016/s0167-8191(98)00023-4openalex-snapshot
Data dependence analysis in programs with pointers
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00208-9openalex-snapshot
Eliminating partially dead code in explicitly parallel programs
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00207-2openalex-snapshot
The tree equivalence of linear recursion schemes
inferred← citeshttps://doi.org/10.1016/s1477-8424(03)00012-5openalex-snapshot
Bidirectional data flow analysis for type inferencing
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80955-1openalex-snapshot
Time Stamps for Fixed-Point Approximation
inferred← citeshttps://doi.org/10.1017/s0956796802004379openalex-snapshot
Syntactic accidents in program analysis: on the impact of the CPS transformation
inferred← citeshttps://doi.org/10.1023/a:1007588710878openalex-snapshot
Data Dependence Analysis of Assembly Code
inferred← citeshttps://doi.org/10.1023/a:1008186323068openalex-snapshot
Efficient and Precise Cache Behavior Prediction for Real-Time Systems
inferred← citeshttps://doi.org/10.1023/a:1012336809259openalex-snapshot
Satisfiability of Dataflow Models of Distributed Programs
inferred← citeshttps://doi.org/10.1023/a:1014535317056openalex-snapshot
Data-Flow Frameworks for Worst-Case Execution Time Analysis
inferred← citeshttps://doi.org/10.1023/a:1023896821228openalex-snapshot
Decidability of the Analysis Problem for Dataflow Models of Programs
inferred← citeshttps://doi.org/10.1038/s41598-024-60981-zopenalex-snapshot
Experimental study on failure mode and fracture evolution characteristics of red shale in Kaiyang Phosphorus mining area.
inferred← citeshttps://doi.org/10.1080/03081079.2012.757437openalex-snapshot
Automated formal analysis and verification: an overview
inferred← citeshttps://doi.org/10.1093/oso/9780198537809.003.0005openalex-snapshot
Abstract interpretation: a semantics-based tool for program analysis
inferred← citeshttps://doi.org/10.1108/ftpgl-11-2025-0068openalex-snapshot
Neurosymbolic code auditing
inferred← citeshttps://doi.org/10.1109/43.79493openalex-snapshot
Global flow optimization in automatic logic design
inferred← citeshttps://doi.org/10.1109/71.298205openalex-snapshot
The combining DAG: a technique for parallel data flow analysis
inferred← citeshttps://doi.org/10.1109/apsec.2017.8openalex-snapshot
A Framework for Array Invariants Synthesis in Induction-Loop Programs
inferred← citeshttps://doi.org/10.1109/aswec.2007.7openalex-snapshot
A Kleene Algebra Framework for Data Flow Analysis
inferred← citeshttps://doi.org/10.1109/cgo.2015.7054185openalex-snapshot
A parallel abstract interpreter for JavaScript
inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444844openalex-snapshot
BEC: Bit-Level Static Analysis for Reliability against Soft Errors
inferred← citeshttps://doi.org/10.1109/cic.2006.22openalex-snapshot
An Empirical Study of Iterative Data-Flow Analysis
inferred← citeshttps://doi.org/10.1109/depcos-relcomex.2007.14openalex-snapshot
Dataflow Analysis of Distributed Programs Using Generalized Marked Nets
inferred← citeshttps://doi.org/10.1109/etfa.2008.4638537openalex-snapshot
Function blocks for decentralised analysis of product flow paths
inferred← citeshttps://doi.org/10.1109/eurmic.1997.617216openalex-snapshot
Efficient calculation of data dependences in programs with pointers and structures
inferred← citeshttps://doi.org/10.1109/iccwamtip64812.2024.10873757openalex-snapshot
Survey About Value Numbering Optimization
inferred← citeshttps://doi.org/10.1109/icdcs47774.2020.00013openalex-snapshot
PrivacyScope: Automatic Analysis of Private Data Leakage in TEE-Protected Applications
inferred← citeshttps://doi.org/10.1109/icetis61828.2024.10593695openalex-snapshot
Golang Defect Detection based on Value Flow Analysis
inferred← citeshttps://doi.org/10.1109/icse.2015.64openalex-snapshot
Safe Memory-Leak Fixing for C Programs
inferred← citeshttps://doi.org/10.1109/icsm.1994.336794openalex-snapshot
A framework for partial data flow analysis
inferred← citeshttps://doi.org/10.1109/icsm.2004.1357836openalex-snapshot
Advanced slicing of sequential and concurrent programs
inferred← citeshttps://doi.org/10.1109/icsm.2011.6080812openalex-snapshot
Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths
inferred← citeshttps://doi.org/10.1109/icst49551.2021.00021openalex-snapshot
Efficiently Finding Data Flow Subsumptions
inferred← citeshttps://doi.org/10.1109/ipps.1992.222990openalex-snapshot
The combining DAG: a technique for parallel data flow analysis
inferred← citeshttps://doi.org/10.1109/mahc.2021.3133136openalex-snapshot
History of Abstract Interpretation
inferred← citeshttps://doi.org/10.1109/opcs.2019.8880185openalex-snapshot
Academician Andrei Ershov and Graphs in Programming
inferred← citeshttps://doi.org/10.1109/pact.1997.644001openalex-snapshot
Interprocedural distribution assignment placement: more than just enhancing intraprocedural placing techniques
inferred← citeshttps://doi.org/10.1109/pact.1998.727270openalex-snapshot
Data dependence analysis of assembly code
inferred← citeshttps://doi.org/10.1109/qrs.2016.23openalex-snapshot
Automatic Invariant Synthesis for Arrays in Simple Programs
inferred← citeshttps://doi.org/10.1109/rtcsa.2016.45openalex-snapshot
Static Transformation of Power Consumption for Software Attestation
inferred← citeshttps://doi.org/10.1109/scam52516.2021.00009openalex-snapshot
A Precise Framework for Source-Level Control-Flow Analysis
inferred← citeshttps://doi.org/10.1109/scam52516.2021.00011openalex-snapshot
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++
inferred← citeshttps://doi.org/10.1109/scc.2007.22openalex-snapshot
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
inferred← citeshttps://doi.org/10.1109/sfcs.1979.5openalex-snapshot
Approximate algorithms for optimization of busy waiting in parallel programs
inferred← citeshttps://doi.org/10.1109/tcad.2010.2095630openalex-snapshot
Static Analysis of Register File Vulnerability
inferred← citeshttps://doi.org/10.1109/tools.1997.654711openalex-snapshot
SOLAT-a Simple Object-Oriented Language Analyzing Tool
inferred← citeshttps://doi.org/10.1109/trustcom66490.2025.00091openalex-snapshot
Rusty: Effectively Detecting Multilingual Rust Memory Bugs with Interprocedural Static Analysis
inferred← citeshttps://doi.org/10.1109/tse.2004.1271173openalex-snapshot
Static analysis of XML transformations in java
inferred← citeshttps://doi.org/10.1109/tse.2005.27openalex-snapshot
Unpredication, unscheduling, unspeculation: reverse engineering Itanium executables
inferred← citeshttps://doi.org/10.1109/tse.2018.2869336openalex-snapshot
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++
inferred← citeshttps://doi.org/10.1109/tse.2023.3267848openalex-snapshot
JavaScript Dead Code Identification, Elimination, and Empirical Assessment
inferred← citeshttps://doi.org/10.1142/s0129053399000089openalex-snapshot
CONSTANT PROPAGATION IN A HIERARCHICAL INTERMEDIATE PROGRAM REPRESENTATION
inferred← citeshttps://doi.org/10.1145/103135.103136openalex-snapshot
Constant propagation with conditional branches
inferred← citeshttps://doi.org/10.1145/12276.13317openalex-snapshot
Interprocedural optimization: eliminating unnecessary recompilation
inferred← citeshttps://doi.org/10.1145/1244381.1244383openalex-snapshot
XML graphs in program analysis
inferred← citeshttps://doi.org/10.1145/1286821.1286829openalex-snapshot
An improved bound for call strings based interprocedural analysis of bit vector frameworks
inferred← citeshttps://doi.org/10.1145/13310.13317openalex-snapshot
Interprocedural optimization: eliminating unnecessary recompilation
inferred← citeshttps://doi.org/10.1145/13310.13327openalex-snapshot
Interprocedural constant propagation
inferred← citeshttps://doi.org/10.1145/1375581.1375620openalex-snapshot
Dataflow analysis for concurrent programs using datarace detection
inferred← citeshttps://doi.org/10.1145/1480828.1480854openalex-snapshot
Programming language concepts for software developers
inferred← citeshttps://doi.org/10.1145/1542431.1542443openalex-snapshot
Efficient alias set analysis using SSA form
inferred← citeshttps://doi.org/10.1145/155090.155097openalex-snapshot
A practical data flow framework for array reference analysis and its use in optimizations
inferred← citeshttps://doi.org/10.1145/158511.158647openalex-snapshot
Constructing call multigraphs using dependence graphs
inferred← citeshttps://doi.org/10.1145/158511.158696openalex-snapshot
Complexity of bi-directional data flow analysis
inferred← citeshttps://doi.org/10.1145/161494.161501openalex-snapshot
Undecidability of static analysis
inferred← citeshttps://doi.org/10.1145/173262.155097openalex-snapshot
A practical data flow framework for array reference analysis and its use in optimizations
inferred← citeshttps://doi.org/10.1145/178243.178244openalex-snapshot
Is continuation-passing useful for data flow analysis?
inferred← citeshttps://doi.org/10.1145/1810479.1810481openalex-snapshot
Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures
inferred← citeshttps://doi.org/10.1145/181587.903973openalex-snapshot
Propagation of Constants and Assertions
inferred← citeshttps://doi.org/10.1145/185084.185105openalex-snapshot
A checkable interface language for pointer-based structures
inferred← citeshttps://doi.org/10.1145/185087.185105openalex-snapshot
A checkable interface language for pointer-based structures
inferred← citeshttps://doi.org/10.1145/186025.186043openalex-snapshot
A generalized theory of bit vector data flow analysis
showing the first 200 of 337 · page through all 337
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.