Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper)
No abstract available.
Related papers
- CRIS: The Power of Imagination in Specification and Verification (Invited Talk) CPP 2025
- Beyond parallel programming with domain specific languages PPoPP 2014
- Software Verification "Across the Stack" (Invited Talk) ECOOP 2015
- Porting the HOL light analysis library: some lessons (invited talk) CPP 2017
- Composing Software in an Age of Dissonance (Invited Talk) ECOOP 2017
- NOELLE Offers Empowering LLVM Extensions CGO 2022
- Scenic: a language for scenario specification and scene generation PLDI 2019
- Towards compositional and generative tensor optimizations GPCE 2017