Staged Points-to Analysis for Large Code Bases
No abstract available.
Related papers
- Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second PLDI 2001
- Points-to analysis using BDDs PLDI 2003
- Active learning of points-to specifications PLDI 2018
- A Modal Analysis of Staged Computation POPL 1996
- The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently OOPSLA 2024
- Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages OOPSLA 2026
- Staging Automatic Differentiation with Fusion Haskell 2025
- Detecting floating-point errors via atomic conditions POPL 2020