There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
No abstract available.
DOI 10.1007/978-3-642-14295-6_6
Related papers
- Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine APLAS 2018
- The Trusted Computing Base of the CompCert Verified Compiler ESOP 2022
- Bottom-up synthesis of recursive functional programs using angelic execution POPL 2022
- Parallelizing top-down interprocedural analyses PLDI 2012
- High-Quality Code Generation Via Bottom-Up Tree Pattern Matching POPL 1986
- Is hardware innovation over? PPoPP 2010
- Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding ECOOP 2026
- Extending Graham-Glanville techniques for optimal code generation TOPLAS 2000