A Framework for End-to-End Verification and Evaluation of Register Allocators
No abstract available.
Related papers
- Allocating architected registers through differential encoding TOPLAS 2007
- TPDE: A Fast Adaptable Compiler Back-End Framework CGO 2026
- Experience with a Software-Defined Machine Architecture TOPLAS 1992
- BEG - A Generator for Efficient Back Ends PLDI 1989
- A provably sound TAL for back-end optimization PLDI 2003
- VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems POPL 2025
- Compositional optimizations for CertiCoq ICFP 2021
- SecSwift, a Compiler-Based Framework for Software Countermeasures in Cybersecurity CGO 2026