Kent D. Wilken Jack Liu Mark Heffernan Optimal instruction scheduling using integer programming. 121-133 2000 PLDI http://doi.acm.org/10.1145/349299.349318 db/conf/pldi/pldi2000.html#WilkenLH00