@inproceedings{DBLP:conf/popl/BotincanDJ12,
  author       = {Matko Botincan and
                  Mike Dodds and
                  Suresh Jagannathan},
  editor       = {John Field and
                  Michael Hicks},
  title        = {Resource-sensitive synchronization inference by abduction},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
                  USA, January 22-28, 2012},
  pages        = {309--322},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103656.2103694},
  doi          = {10.1145/2103656.2103694},
  timestamp    = {Thu, 19 Feb 2026 16:17:01 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/BotincanDJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"cYQgG4DeKmzAoBJ2S","bibbaseid":"botincan-dodds-jagannathan-resourcesensitivesynchronizationinferencebyabduction-2012","author_short":["Botincan, M.","Dodds, M.","Jagannathan, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Matko"],"propositions":[],"lastnames":["Botincan"],"suffixes":[]},{"firstnames":["Mike"],"propositions":[],"lastnames":["Dodds"],"suffixes":[]},{"firstnames":["Suresh"],"propositions":[],"lastnames":["Jagannathan"],"suffixes":[]}],"editor":[{"firstnames":["John"],"propositions":[],"lastnames":["Field"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Hicks"],"suffixes":[]}],"title":"Resource-sensitive synchronization inference by abduction","booktitle":"Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012","pages":"309–322","publisher":"ACM","year":"2012","url":"https://doi.org/10.1145/2103656.2103694","doi":"10.1145/2103656.2103694","timestamp":"Thu, 19 Feb 2026 16:17:01 +0100","biburl":"https://dblp.org/rec/conf/popl/BotincanDJ12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/popl/BotincanDJ12,\n author = {Matko Botincan and\n Mike Dodds and\n Suresh Jagannathan},\n editor = {John Field and\n Michael Hicks},\n title = {Resource-sensitive synchronization inference by abduction},\n booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles\n of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,\n USA, January 22-28, 2012},\n pages = {309--322},\n publisher = {{ACM}},\n year = {2012},\n url = {https://doi.org/10.1145/2103656.2103694},\n doi = {10.1145/2103656.2103694},\n timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},\n biburl = {https://dblp.org/rec/conf/popl/BotincanDJ12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Botincan, M.","Dodds, M.","Jagannathan, S."],"editor_short":["Field, J.","Hicks, M."],"key":"DBLP:conf/popl/BotincanDJ12","id":"DBLP:conf/popl/BotincanDJ12","bibbaseid":"botincan-dodds-jagannathan-resourcesensitivesynchronizationinferencebyabduction-2012","role":"author","urls":{"Paper":"https://doi.org/10.1145/2103656.2103694"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/j/SJagannathan.bib","dataSources":["w34nNagszyiH26GmA"],"keywords":[],"search_terms":["resource","sensitive","synchronization","inference","abduction","botincan","dodds","jagannathan"],"title":"Resource-sensitive synchronization inference by abduction","year":2012}