Strictness Meets Data Flow
Abstract elided by the publisher.
Related papers
- A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs APLAS 2011
- Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems TOPLAS 1995
- Preemption-aware planning on big-data systems PPoPP 2016
- Data Flow Frequency Analysis PLDI 1996
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- Debugging of Globally Optimized Programs Using Data Flow Analysis PLDI 1994
- DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses CC 2025
- Collecting Interpretations of Expressions TOPLAS 1991