@inproceedings{HBG04,
  author    = "Ying Hu and Clark Barrett and Benjamin Goldberg",
  title     = "Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations",
  booktitle = "Proceedings of the $2^{nd}$ IEEE International Conference on Software Engineering and Formal Methods (SEFM '04)",
  publisher = "IEEE Computer Society",
  pages     = "281--289",
  month     = sep,
  year      = 2004,
  note      = "Beijing, China"
}