A User-Guided Approach to Program Analysis. Mangal, R., Zhang, X., Naik, M., & Nori, A. V. In ACM Symposium on Foundations of Software Engineering (FSE), August, 2015. Distinguished Paper AwardPaper 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
{"_id":"wq27AAjMoiSwGWAWL","bibbaseid":"mangal-zhang-naik-nori-auserguidedapproachtoprogramanalysis-2015","downloads":0,"creationDate":"2018-07-24T11:08:02.359Z","title":"A User-Guided Approach to Program Analysis","author_short":["Mangal, R.","Zhang, X.","Naik, M.","Nori, A. V."],"year":2015,"bibtype":"inproceedings","biburl":"https://www.cis.upenn.edu/~mhnaik/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ravi"],"propositions":[],"lastnames":["Mangal"],"suffixes":[]},{"firstnames":["Xin"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Mayur"],"propositions":[],"lastnames":["Naik"],"suffixes":[]},{"firstnames":["Aditya","V."],"propositions":[],"lastnames":["Nori"],"suffixes":[]}],"title":"A User-Guided Approach to Program Analysis","booktitle":"ACM Symposium on Foundations of Software Engineering (FSE)","month":"August","year":"2015","url_paper":"papers/fse15a.pdf","url_slides":"slides/fse15a.pptx","kind":"Conference Papers","note":"Distinguished Paper Award","bibtex":"@inproceedings{fse15a,\n author = {Ravi Mangal and Xin Zhang and Mayur Naik and Aditya V. Nori},\n title = {A User-Guided Approach to Program Analysis},\n booktitle = {ACM Symposium on Foundations of Software Engineering (FSE)},\n month = aug,\n year = 2015,\n url_Paper = {papers/fse15a.pdf},\n url_Slides = {slides/fse15a.pptx},\n kind = \"Conference Papers\",\n note = \"Distinguished Paper Award\"\n}\n\n","author_short":["Mangal, R.","Zhang, X.","Naik, M.","Nori, A. V."],"key":"fse15a","id":"fse15a","bibbaseid":"mangal-zhang-naik-nori-auserguidedapproachtoprogramanalysis-2015","role":"author","urls":{" paper":"https://www.cis.upenn.edu/~mhnaik/papers/fse15a.pdf"," slides":"https://www.cis.upenn.edu/~mhnaik/slides/fse15a.pptx"},"downloads":0},"search_terms":["user","guided","approach","program","analysis","mangal","zhang","naik","nori"],"keywords":[],"authorIDs":["5b5723190adb611000000063"],"dataSources":["LSKsoTuW2dY5ZcqZF"]}