@InProceedings{eurompi12,
  author = {K. Honda and E. R. B. Marques and F. Martins and N. Ng and V. T. Vasconcelos and N. Yoshida},
  title = {Verification of {MPI} programs using session types},
  booktitle = {Proc. 19th European MPI Users' Group Meeting},
  publisher = {Springer},
  series={EuroMPI'12},
  pages={291--293},
  year = {2012},
}