@inproceedings{GN05,
  author =	 "Sumit Gulwani and George C. Necula",
  title =	 "Precise Interprocedural Analysis Using Random Interpretation",
  booktitle =	 "The 32nd Annual ACM Symposium on Principles of
                  Programming Languages",
  publisher =	 "ACM",
  month =	 jan,
  year =	 "2005",
}