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
N1 - Copyright 2011 Elsevier B.V., All rights reserved.
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
SN - 0001-0782
VL - 54
SP - 82
EP - 91
JO - Communications of the ACM
JF - Communications of the ACM
IS - 12
ER -