@Article{SCI:Gop2011a,
  author =    "G. Gopalakrishnan and R.M. Kirby and S. Siegel and
              R. Thakur and W. Gropp and E. Lusk and B.R. de
              Supinski and M. Schultz and G. Bronevetsky",
  title =     "Formal Analysis of {MPI-Based} Parallel Programs:
              Present and Future",
  journal =   "Communications of the {ACM}",
  pages =     "(accepted)",
  year =      "2011",
  url =       "http://www.sci.utah.edu/publications/gopalakrishnan11/Gopalakrishnan_ACM2011.pdf",
}