Run-Time Validation of Speculative Optimizations using CVC

Run-Time Validation of Speculative Optimizations using CVC” by Clark Barrett, Benjamin Goldberg, and Lenore Zuck. In Proceedings of the 3^rd International Workshop on Run-time Verification (RV '03), (Oleg Sokolsky and Mahesh Viswanathan, eds.), Oct. 2003, pp. 89-107. Boulder, Colorado.

BibTeX entry:

@inproceedings{BGZ03,
   author = {Clark Barrett and Benjamin Goldberg and Lenore Zuck},
   editor = {Oleg Sokolsky and Mahesh Viswanathan},
   title = {Run-Time Validation of Speculative Optimizations using {CVC}},
   booktitle = {Proceedings of the {\it 3^{rd}} International Workshop on
	Run-time Verification (RV '03)},
   series = {Electronic Notes in Theoretical Computer Science},
   volume = {89(2)},
   pages = {89--107},
   publisher = {Elsevier},
   month = oct,
   year = {2003},
   note = {Boulder, Colorado},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BGZ03.pdf}
}

(This webpage was created with bibtex2web.)