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 Bronevet

Research output: Contribution to journalArticlepeer-review


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 (US)
Pages (from-to)82-91
Number of pages10
JournalCommunications of the ACM
Issue number12
StatePublished - Dec 2011

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Formal analysis of MPI-based parallel programs'. Together they form a unique fingerprint.

Cite this