“Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers” by Benjamin Goldberg, Lenore Zuck, and Clark Barrett. In Proceedings of the 3^rd International Workshop on Compiler Optimization meets Compiler Verificaiton (COCV '04), (J. Knoop, G.C. Necula, and W. Zimmermann, eds.), May 2005, pp. 53-71. Barcelona, Spain.
BibTeX entry:
@inproceedings{GZB05,
author = {Benjamin Goldberg and Lenore Zuck and Clark Barrett},
editor = {J. Knoop and G.C. Necula and W. Zimmermann},
title = {Into the Loops: Practical Issues in Translation Validation for
Optimizing Compilers},
booktitle = {Proceedings of the {\it 3^{rd}} International Workshop on
Compiler Optimization meets Compiler Verificaiton (COCV '04)},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132(1)},
pages = {53--71},
publisher = {Elsevier},
month = may,
year = {2005},
note = {Barcelona, Spain},
url = {http://theory.stanford.edu/~barrett/pubs/GZB05.pdf}
}
(This webpage was created with bibtex2web.)