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

Into the loops : Practical issues in translation validation for optimizing compilers. / Goldberg, Benjamin; Zuck, Lenore; Barrett, Clark.

Proceedings of the Third International Workshop on Compiler Optimization Meets Compiler Verification (COCV), April 2004. 2004.

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

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.
Goldberg B, Zuck L, Barrett C. 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. 2004
Goldberg, Benjamin ; Zuck, Lenore ; Barrett, Clark. / Into the loops : Practical issues in translation validation for optimizing compilers. Proceedings of the Third International Workshop on Compiler Optimization Meets Compiler Verification (COCV), April 2004. 2004.
@inproceedings{b0e4c536a8004d38bc8e962b86b95275,
title = "Into the loops: Practical issues in translation validation for optimizing compilers",
author = "Benjamin Goldberg and Lenore Zuck and Clark Barrett",
year = "2004",
language = "English (US)",
booktitle = "Proceedings of the Third International Workshop on Compiler Optimization Meets Compiler Verification (COCV), April 2004",

}

TY - GEN

T1 - Into the loops

T2 - Practical issues in translation validation for optimizing compilers

AU - Goldberg, Benjamin

AU - Zuck, Lenore

AU - Barrett, Clark

PY - 2004

Y1 - 2004

M3 - Conference contribution

BT - Proceedings of the Third International Workshop on Compiler Optimization Meets Compiler Verification (COCV), April 2004

ER -