Into the loops: Practical issues in translation validation for optimizing compilers

Benjamin Goldberg, Lenore Zuck, Clark Barrett

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the Third International Workshop on Compiler Optimization Meets Compiler Verification (COCV), April 2004
StatePublished - 2004

Cite this

Goldberg, B., Zuck, L., & Barrett, C. (2004). Into the loops: Practical issues in translation validation for optimizing compilers. In Proceedings of the Third International Workshop on Compiler Optimization Meets Compiler Verification (COCV), April 2004