Jens Palsberg Register Allocation via Coloring of Chordal Graphs. 3 2007 CATS conf/cats/2007 db/conf/cats/cats2007.html#Palsberg07