Formal Verification of Coalescing Graph-Coloring Register Allocation
Abstract elided by the publisher.
Related papers
- Coloring-based coalescing for graph coloring register allocation CGO 2010
- Iterated Register Coalescing POPL 1996
- Iterated Register Coalescing TOPLAS 1996
- Register Allocation for Programs in SSA-Form CC 2006
- Optimistic register coalescing TOPLAS 2004
- On the Complexity of Register Coalescing CGO 2007
- Preference-Directed Graph Coloring PLDI 2002
- Fast Copy Coalescing and Live-Range Identification PLDI 2002