Validating More Loop Optimizations

Validating More Loop Optimizations” by Ying Hu, Clark Barrett, Benjamin Goldberg, and Amir Pnueli. In Proceedings of the 4^th International Workshop on Compiler Optimization meets Compiler Verificaiton (COCV '05), (J. Knoop, G.C. Necula, and W. Zimmermann, eds.), Dec. 2005, pp. 69-84. Edinburgh, Scotland.

BibTeX entry:

@inproceedings{HBG+05,
   author = {Ying Hu and Clark Barrett and Benjamin Goldberg and Amir Pnueli},
   editor = {J. Knoop and G.C. Necula and W. Zimmermann},
   title = {Validating More Loop Optimizations},
   booktitle = {Proceedings of the {\it 4^{th}} International Workshop on
	Compiler Optimization meets Compiler Verificaiton (COCV '05)},
   series = {Electronic Notes in Theoretical Computer Science},
   volume = {141(2)},
   pages = {69--84},
   publisher = {Elsevier},
   month = dec,
   year = {2005},
   note = {Edinburgh, Scotland},
   url = {http://www.cs.nyu.edu/~barrett/pubs/HBG+05.pdf}
}

(This webpage was created with bibtex2web.)