Ying Hu

According to our database, Ying Hu authored at least 6 papers between 2002 and 2005.

Collaborative distances:

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

2005

Translation Validation of Loop Optimizations.

Ying Hu

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

Validating More Loop Optimizations.

Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 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

2004

Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.

Ying Hu, Clark W. Barrett, Benjamin Goldberg

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 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