@inproceedings{GT06,
  author =	 "Sumit Gulwani and Ashish Tiwari",
  title =	 "Combining Abstract Interpreters",
  booktitle =	 "Annual ACM Conference on Programming Language Design and Implementation",
  publisher =	 "ACM",
  month =	 jun,
  year =	 "2006",
}