Static Analysis of Gated Data Dependence Graphs
Abstract elided by the publisher.
Related papers
- Mechanised Semantics for Gated Static Single Assignment CPP 2023
- Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs PLDI 2024
- A shape analysis for optimizing parallel graph programs POPL 2011
- Software-Controlled Operand-Gating CGO 2004
- Static prediction of parallel computation graphs POPL 2022
- Techniques for Debugging Parallel Programs with Flowback Analysis TOPLAS 1991
- Optimal Dyck reachability for data-dependence and alias analysis POPL 2018
- Efficiently Computing Static Single Assignment Form and the Control Dependence Graph TOPLAS 1991