@inproceedings{DBLP:conf/pvm/SharmaVGKTG08,
  author       = {Subodh Sharma and
                  Sarvani S. Vakkalanka and
                  Ganesh Gopalakrishnan and
                  Robert M. Kirby and
                  Rajeev Thakur and
                  William Gropp},
  editor       = {Alexey L. Lastovetsky and
                  M. Tahar Kechadi and
                  Jack J. Dongarra},
  title        = {A Formal Approach to Detect Functionally Irrelevant Barriers in {MPI}
                  Programs},
  booktitle    = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
                  15th European {PVM/MPI} Users' Group Meeting, Dublin, Ireland, September
                  7-10, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5205},
  pages        = {265--273},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87475-1\_36},
  doi          = {10.1007/978-3-540-87475-1\_36},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pvm/SharmaVGKTG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Rv3BuZYXjQHBjHTi3","bibbaseid":"sharma-vakkalanka-gopalakrishnan-kirby-thakur-gropp-aformalapproachtodetectfunctionallyirrelevantbarriersinmpiprograms-2008","author_short":["Sharma, S.","Vakkalanka, S. S.","Gopalakrishnan, G.","Kirby, R. M.","Thakur, R.","Gropp, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Subodh"],"propositions":[],"lastnames":["Sharma"],"suffixes":[]},{"firstnames":["Sarvani","S."],"propositions":[],"lastnames":["Vakkalanka"],"suffixes":[]},{"firstnames":["Ganesh"],"propositions":[],"lastnames":["Gopalakrishnan"],"suffixes":[]},{"firstnames":["Robert","M."],"propositions":[],"lastnames":["Kirby"],"suffixes":[]},{"firstnames":["Rajeev"],"propositions":[],"lastnames":["Thakur"],"suffixes":[]},{"firstnames":["William"],"propositions":[],"lastnames":["Gropp"],"suffixes":[]}],"editor":[{"firstnames":["Alexey","L."],"propositions":[],"lastnames":["Lastovetsky"],"suffixes":[]},{"firstnames":["M.","Tahar"],"propositions":[],"lastnames":["Kechadi"],"suffixes":[]},{"firstnames":["Jack","J."],"propositions":[],"lastnames":["Dongarra"],"suffixes":[]}],"title":"A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs","booktitle":"Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings","series":"Lecture Notes in Computer Science","volume":"5205","pages":"265–273","publisher":"Springer","year":"2008","url":"https://doi.org/10.1007/978-3-540-87475-1\\_36","doi":"10.1007/978-3-540-87475-1_36","timestamp":"Mon, 03 Mar 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/pvm/SharmaVGKTG08.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pvm/SharmaVGKTG08,\n author = {Subodh Sharma and\n Sarvani S. Vakkalanka and\n Ganesh Gopalakrishnan and\n Robert M. Kirby and\n Rajeev Thakur and\n William Gropp},\n editor = {Alexey L. Lastovetsky and\n M. Tahar Kechadi and\n Jack J. Dongarra},\n title = {A Formal Approach to Detect Functionally Irrelevant Barriers in {MPI}\n Programs},\n booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,\n 15th European {PVM/MPI} Users' Group Meeting, Dublin, Ireland, September\n 7-10, 2008. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {5205},\n pages = {265--273},\n publisher = {Springer},\n year = {2008},\n url = {https://doi.org/10.1007/978-3-540-87475-1\\_36},\n doi = {10.1007/978-3-540-87475-1\\_36},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/pvm/SharmaVGKTG08.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Sharma, S.","Vakkalanka, S. S.","Gopalakrishnan, G.","Kirby, R. M.","Thakur, R.","Gropp, W."],"editor_short":["Lastovetsky, A. L.","Kechadi, M. T.","Dongarra, J. J."],"key":"DBLP:conf/pvm/SharmaVGKTG08","id":"DBLP:conf/pvm/SharmaVGKTG08","bibbaseid":"sharma-vakkalanka-gopalakrishnan-kirby-thakur-gropp-aformalapproachtodetectfunctionallyirrelevantbarriersinmpiprograms-2008","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-87475-1\\_36"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/19/5351.bib","dataSources":["5G2skx26SJtreWr4m","mZL7Ztbm8XZE2mt2K"],"keywords":[],"search_terms":["formal","approach","detect","functionally","irrelevant","barriers","mpi","programs","sharma","vakkalanka","gopalakrishnan","kirby","thakur","gropp"],"title":"A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs","year":2008}