A framework for endto-end verification and evaluation of register allocators (2007)

by V Nandivada, Fernando Pereira, Jens Palsberg
Venue:In Static Analysis