@inproceedings{GN04,
  author =	 "Sumit Gulwani and George C. Necula",
  title =	 "Global Value Numbering Using Random Interpretation",
  booktitle =	 "31st ACM Symposium on Principles of Programming Languages",
  publisher =    "ACM",
  pages =        "342--352",
  month =	 jan,
  year =	 "2004",
}