Formal Analysis of MPI-based Parallel Programs

Ganesh Gopalakrishnan, Robert M. Kirby, Stephen Siegel, Rajeev Thakur, William Gropp, Ewing Lusk, Bronis R. De Supinski, Martin Schulz, Greg Bronevetsky

Research output: Contribution to journalArticlepeer-review

44 Citations (Scopus)


Most parallel computing applications in highperformance computing use the Message Passing Interface (MPI) API. Given the fundamental importance of parallel computing to science and engineering research, application correctness is paramount. MPI was originally developed around 1993 by the MPI Forum, a group of vendors, parallel programming researchers, and computational scientists. However, the document defining the standard is not issued by an official standards organization but has become a de facto standard
Original languageEnglish
Pages (from-to)82-91
Number of pages10
JournalCommunications of the ACM
Issue number12
Publication statusPublished - Dec 2011

Bibliographical note

Copyright 2011 Elsevier B.V., All rights reserved.

Fingerprint Dive into the research topics of 'Formal Analysis of MPI-based Parallel Programs'. Together they form a unique fingerprint.

Cite this