A Framework for End-to-End Verification and Evaluation of Register Allocators.

V. Krishna Nandivada Fernando Magno Quintão Pereira Jens Palsberg A Framework for End-to-End Verification and Evaluation of Register Allocators. 153-169 2007 conf/sas/2007 SAS http://dx.doi.org/10.1007/978-3-540-74061-2_10 db/conf/sas/sas2007.html#NandivadaPP07