Ali-Reza Adl-Tabatabai Thomas R. Gross Source-Level Debugging of Scalar Optimized Code. 33-43 1996 PLDI db/conf/pldi/pldi96.html#Adl-TabatabaiG96