Formal Verification of Coalescing Graph-Coloring Register Allocation.

Sandrine Blazy, Benot Robillard, Andrew W. Appel

Browse the full ESOP paper archive.