Detecting Equalities of Variables: Combining Efficiency with Precision
No abstract available.
Related papers
- Detecting Equality of Variables in Programs POPL 1988
- Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs PLDI 2002
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Propositional equality for gradual dependently typed programming ICFP 2022
- Relational Abstractions Based on Labeled Union-Find PLDI 2025
- Static Type Analysis by Abstract Interpretation of Python Programs ECOOP 2020
- Scalable variable and data type detection in a binary rewriter PLDI 2013
- PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting OOPSLA 2024