VOC: A Translation Validator for Optimizing Compilers. - Lenore D. Zuck; Amir Pnueli; Yi Fang 001; Benjamin Goldberg 001 (COCV@ETAPS, 2002)

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)

Liveness with Incomprehensible Ranking. - Yi Fang 001; Nir Piterman; Amir Pnueli; Lenore D. Zuck (TACAS, 2004)

IIV: An Invisible Invariant Verifier. - Ittai Balaban; Yi Fang 001; Amir Pnueli; Lenore D. Zuck (CAV, 2005)

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)

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 Optimizing Compilers. - Yi Fang 001 (2005)

Liveness by Invisible Invariants. - Yi Fang 001; Kenneth L. McMillan; Amir Pnueli; Lenore D. Zuck (FORTE, 2006)

Improved Invariant Generation for Tvoc. - Yi Fang 001; Lenore D. Zuck (COCV@ETAPS, 2006)

Liveness with invisible ranking. - Yi Fang 001; Nir Piterman; Amir Pnueli; Lenore D. Zuck (Int. J. Softw. Tools Technol. Transf., 2006)