@InProceedings{SCI:Vo2009a,
  author =    "A. Vo and S. Vakkalanka and M. Delisi and G.
              Gopalakrishnan and R.M. Kirby and R. Thakur",
  title =     "Formal Verification of Practical MPI Programs",
  booktitle = "Proceedings of 14th ACM SIGPLAN Symposium on
              Principles and Practice of Parallel Programming
              (PPoPP)",
  pages =     "261--270",
  year =      "2009",
  month =     "February 14-18",
  location =  "Raleigh, NC",
  url =       "http://www.sci.utah.edu/publications/vo09/Vo_ACM-SIGPLAN_PPoPP2009.pdf",
}