@inproceedings{europvm08-barrier,
author =
{Subodh Sharma and Sarvani Vakkalanka and
Ganesh Gopalakrishnan and
Robert M. Kirby and  Rajeev Thakur  and William Gropp},
title  = 
{A Formal Approach to Detect Functionally Irrelevant
  Barriers in MPI Programs},
booktitle  = {Recent Advances in Parallel
Virtual Machine and Message Passing Interface
  (EuroPVM/MPI)}, 
pages = {265-273},
note = {LNCS 5205},
year = 2008}