@inproceedings{esop14,
  author     = {Ravi Mangal and Mayur Naik and Hongseok Yang},
  title      = {A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join},
  booktitle  = {European Symposium on Programming (ESOP)},
  month      = apr,
  year       = 2014,
  url_Paper  = {papers/esop14.pdf},
  kind       = "Conference Papers",
  note       = "Best Paper Award Nominee"
}

{"_id":"Eu5YK4Fmf9ubs7Gg4","bibbaseid":"mangal-naik-yang-acorrespondencebetweentwoapproachestointerproceduralanalysisinthepresenceofjoin-2014","downloads":0,"creationDate":"2018-07-24T14:33:25.018Z","title":"A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join","author_short":["Mangal, R.","Naik, M.","Yang, H."],"year":2014,"bibtype":"inproceedings","biburl":"https://www.cis.upenn.edu/~mhnaik/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ravi"],"propositions":[],"lastnames":["Mangal"],"suffixes":[]},{"firstnames":["Mayur"],"propositions":[],"lastnames":["Naik"],"suffixes":[]},{"firstnames":["Hongseok"],"propositions":[],"lastnames":["Yang"],"suffixes":[]}],"title":"A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join","booktitle":"European Symposium on Programming (ESOP)","month":"April","year":"2014","url_paper":"papers/esop14.pdf","kind":"Conference Papers","note":"Best Paper Award Nominee","bibtex":"@inproceedings{esop14,\n author = {Ravi Mangal and Mayur Naik and Hongseok Yang},\n title = {A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join},\n booktitle = {European Symposium on Programming (ESOP)},\n month = apr,\n year = 2014,\n url_Paper = {papers/esop14.pdf},\n kind = \"Conference Papers\",\n note = \"Best Paper Award Nominee\"\n}\n\n","author_short":["Mangal, R.","Naik, M.","Yang, H."],"key":"esop14","id":"esop14","bibbaseid":"mangal-naik-yang-acorrespondencebetweentwoapproachestointerproceduralanalysisinthepresenceofjoin-2014","role":"author","urls":{" paper":"https://www.cis.upenn.edu/~mhnaik/papers/esop14.pdf"},"downloads":0},"search_terms":["correspondence","between","two","approaches","interprocedural","analysis","presence","join","mangal","naik","yang"],"keywords":[],"authorIDs":[],"dataSources":["LSKsoTuW2dY5ZcqZF"]}