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 - Bronevet, 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?scp=82155191689&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=82155191689&partnerID=8YFLogxK
U2 - 10.1145/2043174.2043194
DO - 10.1145/2043174.2043194
M3 - Article
AN - SCOPUS:82155191689
SN - 0001-0782
VL - 54
SP - 82
EP - 91
JO - Communications of the ACM
JF - Communications of the ACM
IS - 12
ER -