@inproceedings(dfa-ics13,
 author       = "S. Aananthakrishnan and G. Bronevetsky and G. Gopalakrishnan",
 year         = "2013",
 title        = "Hybrid approach for data-flow analysis of {MPI} programs",
 booktitle    = "ICS'13",
 publisher    = "ACM",
 pages        = "455--456",
 doi          = "10.1145/2464996.2467286",
)
@inproceedings(dfa-cgo09,
 author       = "G. Bronevetsky",
 year         = "2009",
 title        = "Communication-Sensitive Static Dataflow for Parallel Message Passing Applications",
 booktitle    = "CGO'09",
 publisher    = "IEEE Computer Society",
 pages        = "1--12",
 doi          = "10.1109/CGO.2009.32",
)
@incollection(vcc,
 author       = "E. Cohen and M. Dahlweid and M. Hillebrand and D. Leinenbach and M. Moskal and T. Santen and W. Schulte and S. Tobies",
 year         = "2009",
 title        = "{VCC}: A Practical System for Verifying Concurrent {C}",
 booktitle    = "TPHOLs",
 series       = "LNCS",
 volume       = "5674",
 publisher    = "Springer",
 pages        = "23--42",
 doi          = "10.1007/978-3-642-03359-9\_2",
)
@article(PMSTypes,
 author       = "P.-M. Deni{\'e}lou and N. Yoshida and A. Bejleri and R. Hu",
 year         = "2012",
 title        = "Parameterised Multiparty Session Types",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "4",
 doi          = "10.2168/LMCS-8(4:6)2012",
)
@book(foster,
 author       = "I. Foster",
 year         = "1995",
 title        = "Designing and building parallel programs",
 publisher    = "Addison-Wesley",
)
@article(cacm,
 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. Schulz and G. Bronevetsky",
 year         = "2011",
 title        = "Formal analysis of {MPI}-based parallel programs",
 journal      = "Communications ACM",
 volume       = "54",
 number       = "12",
 pages        = "82--91",
 doi          = "10.1145/2043174.2043194",
)
@book(using-mpi,
 author       = "W. Gropp and E. Lusk and A. Skjellum",
 year         = "1999",
 title        = "Using MPI: portable parallel programming with the message passing interface",
 volume       = "1",
 publisher    = "MIT press",
)
@inproceedings(eurompi,
 author       = "K. Honda and E.R.B. Marques and F. Martins and N. Ng and V.T. Vasconcelos and N. Yoshida",
 year         = "2012",
 title        = "Verification of {MPI} programs using session types",
 booktitle    = "EuroMPI'12",
 series       = "LNCS",
 volume       = "7940",
 publisher    = "Springer",
 pages        = "291--293",
 doi          = "10.1007/978-3-642-33518-1\_37",
)
@inproceedings(scribble,
 author       = "K. Honda and A. Mukhamedov and G. Brown and T.C. Chen and N. Yoshida",
 year         = "2011",
 title        = "Scribbling interactions with a formal foundation",
 booktitle    = "ICDCIT",
 series       = "LNCS",
 volume       = "6536",
 publisher    = "Springer",
 pages        = "55--75",
 doi          = "10.1007/978-3-642-19056-8\_4",
)
@inproceedings(Multiparty-POPL,
 author       = "K. Honda and N. Yoshida and M. Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "273--284",
 doi          = "10.1145/1328897.1328472",
)
@book(mpi3,
 author       = "{MPI Forum}",
 year         = "2012",
 title        = "{MPI: A Message-Passing Interface Standard -- Version 3.0}",
 publisher    = "High-Performance Computing Center Stuttgart",
)
@conference(session_c,
 author       = "N. Ng and N. Yoshida and K. Honda",
 year         = "2012",
 title        = "Multiparty {Session C}: Safe Parallel Programming with Message Optimisation",
 booktitle    = "TOOLS Europe",
 series       = "LNCS",
 volume       = "7304",
 publisher    = "Springer",
 pages        = "202--218",
 doi          = "10.1007/978-3-642-30561-0\_15",
)
@book(pacheco,
 author       = "P.S. Pacheco",
 year         = "1997",
 title        = "Parallel programming with {MPI}",
 publisher    = "Morgan Kaufmann",
)
@inproceedings(tass-ppopp11,
 author       = "S. F. Siegel and T. K. Zirkel",
 year         = "2011",
 title        = "Automatic Formal Verification of {MPI}-Based Parallel Programs",
 booktitle    = "PPoPP'11",
 publisher    = "ACM",
 pages        = "309--310",
 doi          = "10.1145/1941553.1941603",
)
@article(siegel-tosem08,
 author       = "S.F. Siegel and A. Mironova and G.S. Avrunin and L.A. Clarke",
 year         = "2008",
 title        = "Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs",
 journal      = "ACM TOSEM",
 volume       = "17",
 number       = "2",
 pages        = "1--34",
 doi          = "10.1145/1348250.1348256",
)
@inproceedings(isp-ppopp09,
 author       = "A. Vo and S. Vakkalanka and M. DeLisi and G. Gopalakrishnan and R. M. Kirby and R. Thakur",
 year         = "2009",
 title        = "Formal verification of practical {MPI} programs",
 booktitle    = "PPoPP'09",
 publisher    = "ACM",
 pages        = "261--270",
 doi          = "10.1145/1504176.1504214",
)