Translation and Run-Time Validation of Optimized Code. - Lenore D. Zuck; Amir Pnueli; Yi Fang 001; Benjamin Goldberg 001; Ying Hu 003 (RV@FLoC, 2002)

Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. - Ying Hu 003; Clark W. Barrett; Benjamin Goldberg 001 (SEFM, 2004)

TVOC: A Translation Validator for Optimizing Compilers. - Clark W. Barrett; Yi Fang 001; Benjamin Goldberg 001; Ying Hu 003; Amir Pnueli; Lenore D. Zuck (CAV, 2005)

Validating More Loop Optimizations. - Ying Hu 003; Clark W. Barrett; Benjamin Goldberg 001; Amir Pnueli (COCV@ETAPS, 2005)

Translation and Run-Time Validation of Loop Transformations. - Lenore D. Zuck; Amir Pnueli; Benjamin Goldberg 001; Clark W. Barrett; Yi Fang 001; Ying Hu 003 (Formal Methods Syst. Des., 2005)

Translation Validation of Loop Optimizations. - Ying Hu 003 (2005)