Capturing the Effects of Code Improving Transformations. - Clara Jaramillo; Rajiv Gupta 001; Mary Lou Soffa (IEEE PACT, 1998)

Comparison Checking: An Approach to Avoid Debugging of Optimized Code. - Clara Jaramillo; Rajiv Gupta 001; Mary Lou Soffa (ESEC / SIGSOFT FSE, 1999)

FULLDOC: A Full Reporting Debugger for Optimized Code. - Clara Jaramillo; Rajiv Gupta 001; Mary Lou Soffa (SAS, 2000)

Debugging and Testing Optimizers through Comparison Checking. - Clara Jaramillo; Rajiv Gupta 001; Mary Lou Soffa (COCV@ETAPS, 2002)