A User-Guided Approach to Program Analysis. Mangal, R.; Zhang, X.; Naik, M.; and Nori, A. V. In ACM Symposium on Foundations of Software Engineering (FSE), August, 2015. Distinguished Paper Award
A User-Guided Approach to Program Analysis [pdf]Paper  A User-Guided Approach to Program Analysis [pptx]Slides  bibtex   
@inproceedings{fse15a,
  author     = {Ravi Mangal and Xin Zhang and Mayur Naik and Aditya V. Nori},
  title      = {A User-Guided Approach to Program Analysis},
  booktitle  = {ACM Symposium on Foundations of Software Engineering (FSE)},
  month      = aug,
  year       = 2015,
  url_Paper  = {papers/fse15a.pdf},
  url_Slides = {slides/fse15a.pptx},
  kind       = "Conference Papers",
  note       = "Distinguished Paper Award"
}
Downloads: 0