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