Yi Fang

According to our database, Yi Fang authored at least 10 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Liveness with invisible ranking.

Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck

Int. J. Softw. Tools Technol. Transf., 2006

Improved Invariant Generation for Tvoc.

Yi Fang, Lenore D. Zuck

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Liveness by Invisible Invariants.

Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Translation Validation of Optimizing Compilers.

Yi Fang

PhD thesis, 2005

Translation and Run-Time Validation of Loop Transformations.

Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu

Formal Methods Syst. Des., 2005

TVOC: A Translation Validator for Optimizing Compilers.

Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

IIV: An Invisible Invariant Verifier.

Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Liveness with Incomprehensible Ranking.

Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2002

Translation and Run-Time Validation of Optimized Code.

Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu

Proceedings of the Runtime Verification 2002, 2002

VOC: A Translation Validator for Optimizing Compilers.

Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002