@inproceedings{Gulwani05,
  author =	 "Sumit Gulwani",
  title =	 "Program Analysis Using Random Interpretation",
  booktitle =	 "Ph.D. Dissertation, UC-Berkeley",
  year =	 "2005",
}