Florent Bouchez Alain Darte Fabrice Rastello On the complexity of spill everywhere under SSA form. 103-112 2007 conf/lctrts/2007 LCTES http://doi.acm.org/10.1145/1254766.1254782 db/conf/lctrts/lctes2007.html#BouchezDR07