@InProceedings{BGZ03,
  author    = "Clark Barrett and Benjamin Goldberg and Lenore Zuck",
  title     = "Run-Time Validation of Speculative Optimizations using {CVC}",
  booktitle = "Proceedings of the $3^{rd}$ International Workshop on Run-time Verification (RV '03)",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "89(2)",
  publisher = "Elsevier",
  editor    = "Oleg Sokolsky and Mahesh Viswanathan",
  month     = oct,
  year      = 2003,
  note      = "Boulder, Colorado"
}