@inproceedings{popl07,
  author     = {Mayur Naik and Alex Aiken},
  title      = {Conditional Must Not Aliasing for Static Race Detection},
  booktitle  = {ACM Symposium on Principles of Programming Languages (POPL)},
  month      = jan,
  year       = 2007,
  url_Paper  = {papers/popl07.pdf},
  url_Slides = {slides/popl07.ppt},
  kind       = "Conference Papers"
}

{"_id":"EGg3aHRqHmEYQkh7Y","bibbaseid":"naik-aiken-conditionalmustnotaliasingforstaticracedetection-2007","downloads":0,"creationDate":"2018-07-24T14:33:25.040Z","title":"Conditional Must Not Aliasing for Static Race Detection","author_short":["Naik, M.","Aiken, A."],"year":2007,"bibtype":"inproceedings","biburl":"https://www.cis.upenn.edu/~mhnaik/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mayur"],"propositions":[],"lastnames":["Naik"],"suffixes":[]},{"firstnames":["Alex"],"propositions":[],"lastnames":["Aiken"],"suffixes":[]}],"title":"Conditional Must Not Aliasing for Static Race Detection","booktitle":"ACM Symposium on Principles of Programming Languages (POPL)","month":"January","year":"2007","url_paper":"papers/popl07.pdf","url_slides":"slides/popl07.ppt","kind":"Conference Papers","bibtex":"@inproceedings{popl07,\n author = {Mayur Naik and Alex Aiken},\n title = {Conditional Must Not Aliasing for Static Race Detection},\n booktitle = {ACM Symposium on Principles of Programming Languages (POPL)},\n month = jan,\n year = 2007,\n url_Paper = {papers/popl07.pdf},\n url_Slides = {slides/popl07.ppt},\n kind = \"Conference Papers\"\n}\n\n","author_short":["Naik, M.","Aiken, A."],"key":"popl07","id":"popl07","bibbaseid":"naik-aiken-conditionalmustnotaliasingforstaticracedetection-2007","role":"author","urls":{" paper":"https://www.cis.upenn.edu/~mhnaik/papers/popl07.pdf"," slides":"https://www.cis.upenn.edu/~mhnaik/slides/popl07.ppt"},"downloads":0},"search_terms":["conditional","aliasing","static","race","detection","naik","aiken"],"keywords":[],"authorIDs":[],"dataSources":["LSKsoTuW2dY5ZcqZF"]}