@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",
}