Register Allocation by Proof Transformation
No abstract available.
Related papers
- SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations POPL 2025
- register Allocation over the Program Dependence Graph PLDI 1994
- Machine-independent register allocation PLDI 1979
- Tailoring Graph-coloring Register Allocation For Runtime Compilation CGO 2006
- Combinatorial Register Allocation and Instruction Scheduling TOPLAS 2019
- 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