Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract)
No abstract available.
Related papers
- Compiler and language design for quantum computing (keynote) CC 2018
- Concurrent GC leveraging transactional memory PPoPP 2008
- Exploiting reachability and cardinality in higher-order flow analysis JFP 2008
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
- Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types ICFP 2023
- The next mainstream programming language: a game developer's perspective POPL 2006
- Monadic abstract interpreters PLDI 2013
- Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality PLDI 2001