John C. Ruttenberg Guang R. Gao Woody Lichtenstein Artour Stoutchinin Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler. 1-11 1996 PLDI db/conf/pldi/pldi96.html#RuttenbergGLS96