Mechanized Semantics for Compiler Verification
Abstract elided by the publisher.
Related papers
- Mechanized Semantics for Compiler Verification CPP 2012
- Mechanized Verification of Computing Dominators for Formalizing Compilers CPP 2012
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- Formal verification of object layout for c++ multiple inheritance POPL 2011
- A Compositional Semantics for Verified Separate Compilation and Linking CPP 2015
- Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications POPL 2026
- Towards certified separate compilation for concurrent programs PLDI 2019
- A new verified compiler backend for CakeML ICFP 2016