Rastislav Bodík Rajiv Gupta Mary Lou Soffa Complete Removal of Redundant Computations. 1-14 1998 PLDI db/conf/pldi/pldi98.html#BodikGS98