Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers

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.)