@article{DBLP:journals/toplas/BotincanDJ13,
  author       = {Matko Botincan and
                  Mike Dodds and
                  Suresh Jagannathan},
  title        = {Proof-Directed Parallelization Synthesis by Separation Logic},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {35},
  number       = {2},
  pages        = {8:1--8:60},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491522.2491525},
  doi          = {10.1145/2491522.2491525},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BotincanDJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NK77NtohMdeKC9qd3","bibbaseid":"botincan-dodds-jagannathan-proofdirectedparallelizationsynthesisbyseparationlogic-2013","author_short":["Botincan, M.","Dodds, M.","Jagannathan, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Matko"],"propositions":[],"lastnames":["Botincan"],"suffixes":[]},{"firstnames":["Mike"],"propositions":[],"lastnames":["Dodds"],"suffixes":[]},{"firstnames":["Suresh"],"propositions":[],"lastnames":["Jagannathan"],"suffixes":[]}],"title":"Proof-Directed Parallelization Synthesis by Separation Logic","journal":"ACM Trans. Program. Lang. Syst.","volume":"35","number":"2","pages":"8:1–8:60","year":"2013","url":"https://doi.org/10.1145/2491522.2491525","doi":"10.1145/2491522.2491525","timestamp":"Mon, 03 Mar 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/toplas/BotincanDJ13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/toplas/BotincanDJ13,\n author = {Matko Botincan and\n Mike Dodds and\n Suresh Jagannathan},\n title = {Proof-Directed Parallelization Synthesis by Separation Logic},\n journal = {{ACM} Trans. Program. Lang. Syst.},\n volume = {35},\n number = {2},\n pages = {8:1--8:60},\n year = {2013},\n url = {https://doi.org/10.1145/2491522.2491525},\n doi = {10.1145/2491522.2491525},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/toplas/BotincanDJ13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Botincan, M.","Dodds, M.","Jagannathan, S."],"key":"DBLP:journals/toplas/BotincanDJ13","id":"DBLP:journals/toplas/BotincanDJ13","bibbaseid":"botincan-dodds-jagannathan-proofdirectedparallelizationsynthesisbyseparationlogic-2013","role":"author","urls":{"Paper":"https://doi.org/10.1145/2491522.2491525"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/j/SJagannathan.bib","dataSources":["w34nNagszyiH26GmA"],"keywords":[],"search_terms":["proof","directed","parallelization","synthesis","separation","logic","botincan","dodds","jagannathan"],"title":"Proof-Directed Parallelization Synthesis by Separation Logic","year":2013}