Yi Fang

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Yi Fang, Lenore D. Zuck
Improved Invariant Generation for Tvoc. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
Liveness with invisible ranking. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck
Liveness by Invisible Invariants. FORTE (2006)
Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu
Translation and Run-Time Validation of Loop Transformations. Formal Methods Syst. Des. 27 (3) (2005)
Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck
TVOC: A Translation Validator for Optimizing Compilers. CAV (2005)
Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
IIV: An Invisible Invariant Verifier. CAV (2005)
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
Liveness with Invisible Ranking. VMCAI (2004)
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
Liveness with Incomprehensible Ranking. TACAS (2004)
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
VOC: A Translation Validator for Optimizing Compilers. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
Translation and Run-Time Validation of Optimized Code. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)