@InProceedings{GZB05,
  author    = "Benjamin Goldberg and Lenore Zuck and Clark Barrett",
  title     = "Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers",
  booktitle = "Proceedings of the $3^{rd}$ International Workshop on Compiler Optimization meets Compiler Verificaiton (COCV '04)",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "132(1)",
  publisher = "Elsevier",
  editor    = "J. Knoop and G.C. Necula and W. Zimmermann",
  pages     = "53--71",
  month     = may,
  year      = 2005,
  note      = "Barcelona, Spain"
}