@inproceedings{DBLP:conf/sigsoft/LahiriVH10,
  title = "Differential static analysis: opportunities, applications, and challenges",
  author = "Shuvendu K. Lahiri and Kapil Vaswani and C. A. R. Hoare",
  year = "2010",
  booktitle = "Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010",
  editor = "Gruia-Catalin Roman and Kevin J. Sullivan",
  pages = "201-204",
  publisher = "ACM",
  doi = "10.1145/1882362.1882405",
}