Martin Farach-Colton Vincenzo Liberatore On Local Register Allocation. 37-65 2000 37 J. Algorithms 1 db/journals/jal/jal37.html#Farach-ColtonL00