“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://theory.stanford.edu/~barrett/pubs/BGZ03.pdf}
}
(This webpage was created with bibtex2web.)