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