Improving the Precision of Equality-Based Dataflow Analyses
Abstract elided by the publisher.
Related papers
- On the Complexity of Dataflow Analysis of Logic Programs TOPLAS 1995
- Composing dataflow analyses and transformations POPL 2002
- On the Complexity of Flow-Sensitive Dataflow Analyses POPL 2000
- IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis OOPSLA 2025
- IDEal: efficient and precise alias-aware dataflow analysis OOPSLA 2017
- Optimism in Equality Saturation PLDI 2026
- Dataflow analysis for concurrent programs using datarace detection PLDI 2008
- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications CGO 2009