@inproceedings{DBLP:conf/popl/DoddsJP11,
  author       = {Mike Dodds and
                  Suresh Jagannathan and
                  Matthew J. Parkinson},
  editor       = {Thomas Ball and
                  Mooly Sagiv},
  title        = {Modular reasoning for deterministic parallelism},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
                  2011},
  pages        = {259--270},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1926385.1926416},
  doi          = {10.1145/1926385.1926416},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/DoddsJP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"YTTei7HTrCGjrNi9z","bibbaseid":"dodds-jagannathan-parkinson-modularreasoningfordeterministicparallelism-2011","author_short":["Dodds, M.","Jagannathan, S.","Parkinson, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mike"],"propositions":[],"lastnames":["Dodds"],"suffixes":[]},{"firstnames":["Suresh"],"propositions":[],"lastnames":["Jagannathan"],"suffixes":[]},{"firstnames":["Matthew","J."],"propositions":[],"lastnames":["Parkinson"],"suffixes":[]}],"editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Ball"],"suffixes":[]},{"firstnames":["Mooly"],"propositions":[],"lastnames":["Sagiv"],"suffixes":[]}],"title":"Modular reasoning for deterministic parallelism","booktitle":"Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011","pages":"259–270","publisher":"ACM","year":"2011","url":"https://doi.org/10.1145/1926385.1926416","doi":"10.1145/1926385.1926416","timestamp":"Mon, 03 Mar 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/popl/DoddsJP11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/popl/DoddsJP11,\n author = {Mike Dodds and\n Suresh Jagannathan and\n Matthew J. Parkinson},\n editor = {Thomas Ball and\n Mooly Sagiv},\n title = {Modular reasoning for deterministic parallelism},\n booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles\n of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,\n 2011},\n pages = {259--270},\n publisher = {{ACM}},\n year = {2011},\n url = {https://doi.org/10.1145/1926385.1926416},\n doi = {10.1145/1926385.1926416},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/popl/DoddsJP11.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dodds, M.","Jagannathan, S.","Parkinson, M. J."],"editor_short":["Ball, T.","Sagiv, M."],"key":"DBLP:conf/popl/DoddsJP11","id":"DBLP:conf/popl/DoddsJP11","bibbaseid":"dodds-jagannathan-parkinson-modularreasoningfordeterministicparallelism-2011","role":"author","urls":{"Paper":"https://doi.org/10.1145/1926385.1926416"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/j/SJagannathan.bib","dataSources":["w34nNagszyiH26GmA"],"keywords":[],"search_terms":["modular","reasoning","deterministic","parallelism","dodds","jagannathan","parkinson"],"title":"Modular reasoning for deterministic parallelism","year":2011}