Mohammad Ali Ghodrat Tony Givargis Alex Nicolau Control flow optimization in loops using interval analysis. 157-166 2008 CASES http://doi.acm.org/10.1145/1450095.1450120 conf/cases/2008 db/conf/cases/cases2008.html#GhodratGN08