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

doi:10.1145/2043174.2043194

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 journal › Article › peer-review

44 Citations (Scopus)

Abstract

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 language	English
Pages (from-to)	82-91
Number of pages	10
Journal	Communications of the ACM
Volume	54
Issue number	12
DOIs	https://doi.org/10.1145/2043174.2043194
Publication status	Published - Dec 2011

Bibliographical note

Access to Document

10.1145/2043174.2043194

Publication in Scopus

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

Cite this

@article{e34438c30ef145ccb4c23b92816f25ae,

title = "Formal Analysis of MPI-based Parallel Programs",

abstract = "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",

author = "Ganesh Gopalakrishnan and Kirby, {Robert M.} and Stephen Siegel and Rajeev Thakur and William Gropp and Ewing Lusk and {De Supinski}, {Bronis R.} and Martin Schulz and Greg Bronevetsky",

year = "2011",

month = dec,

doi = "10.1145/2043174.2043194",

language = "English",

volume = "54",

pages = "82--91",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery (ACM)",

number = "12",

}

TY - JOUR

T1 - Formal Analysis of MPI-based Parallel Programs

AU - Gopalakrishnan, Ganesh

AU - Kirby, Robert M.

AU - Siegel, Stephen

AU - Thakur, Rajeev

AU - Gropp, William

AU - Lusk, Ewing

AU - De Supinski, Bronis R.

AU - Schulz, Martin

AU - Bronevetsky, Greg

PY - 2011/12

Y1 - 2011/12

N2 - 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

AB - 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

UR - http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-82155191689&md5=7eeccc0d898d6259a1d49c0366fbe7ef

U2 - 10.1145/2043174.2043194

DO - 10.1145/2043174.2043194

M3 - Article

AN - SCOPUS:82155191689

VL - 54

SP - 82

EP - 91

JO - Communications of the ACM

JF - Communications of the ACM

SN - 0001-0782

IS - 12

ER -