Verification of Register Allocators
Abstract elided by the publisher.
Related papers
- Formal Verification of Coalescing Graph-Coloring Register Allocation ESOP 2010
- A Framework for End-to-End Verification and Evaluation of Register Allocators SAS 2007
- SARA: Combining Stack Allocation and Register Allocation CC 2006
- Linear Scan Register Allocation in the Context of SSA Form and Register Constraints CC 2002
- Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables CC 1992
- Register Allocation by Proof Transformation ESOP 2003
- Differential register allocation PLDI 2005
- Register Allocation by Optimal Graph Coloring CC 2003