@InProceedings{SCI:Sha2008a,
  author =    "S. Sharma and S. Vakkalanka and G. Gopalakrishnan
              and R.M. Kirby and R. Thakur and W. Gropp",
  title =     "A Formal Approach to Detect Functionally
              Irrelevant Barriers in {MPI} Programs",
  booktitle = "Proceedings of EuroPVM-MPI 2008",
  volume =    "5205",
  pages =     "265--273",
  year =      "2008",
  month =     "September",
  location =  "Dublin, Ireland",
  doi =       "10.1007/978-3-540-87475-1_36",
}

{"_id":"Rv3BuZYXjQHBjHTi3","bibbaseid":"sharma-vakkalanka-gopalakrishnan-kirby-thakur-gropp-aformalapproachtodetectfunctionallyirrelevantbarriersinmpiprograms-2008","author_short":["Sharma, S.","Vakkalanka, S.","Gopalakrishnan, G.","Kirby, R.","Thakur, R.","Gropp, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["S."],"propositions":[],"lastnames":["Sharma"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Vakkalanka"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Gopalakrishnan"],"suffixes":[]},{"firstnames":["R.M."],"propositions":[],"lastnames":["Kirby"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Thakur"],"suffixes":[]},{"firstnames":["W."],"propositions":[],"lastnames":["Gropp"],"suffixes":[]}],"title":"A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs","booktitle":"Proceedings of EuroPVM-MPI 2008","volume":"5205","pages":"265–273","year":"2008","month":"September","location":"Dublin, Ireland","doi":"10.1007/978-3-540-87475-1_36","bibtex":"@InProceedings{SCI:Sha2008a,\n author = \"S. Sharma and S. Vakkalanka and G. Gopalakrishnan\n and R.M. Kirby and R. Thakur and W. Gropp\",\n title = \"A Formal Approach to Detect Functionally\n Irrelevant Barriers in {MPI} Programs\",\n booktitle = \"Proceedings of EuroPVM-MPI 2008\",\n volume = \"5205\",\n pages = \"265--273\",\n year = \"2008\",\n month = \"September\",\n location = \"Dublin, Ireland\",\n doi = \"10.1007/978-3-540-87475-1_36\",\n}\n\n","author_short":["Sharma, S.","Vakkalanka, S.","Gopalakrishnan, G.","Kirby, R.","Thakur, R.","Gropp, W."],"key":"SCI:Sha2008a","id":"SCI:Sha2008a","bibbaseid":"sharma-vakkalanka-gopalakrishnan-kirby-thakur-gropp-aformalapproachtodetectfunctionallyirrelevantbarriersinmpiprograms-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.sci.utah.edu/publications/sci.bib","dataSources":["5G2skx26SJtreWr4m"],"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}