@inproceedings{GN03,
  author =	 "Sumit Gulwani and George C. Necula",
  title =	 "Discovering Affine Equalities Using Random Interpretation",
  booktitle =	 "The 30th Annual ACM Symposium on Principles of
                  Programming Languages",
  publisher =	 "ACM",
  month =	 jan,
  pages =        "74--84",
  year =	 "2003",
}