Ganesh Gopalakrishnan Robert M. Kirby Stephen F. Siegel Rajeev Thakur William Gropp Ewing L. Lusk Bronis R. de Supinski Martin Schulz Greg Bronevetsky Formal analysis of MPI-based parallel programs. 82-91 2011 54 Commun. ACM 12 http://doi.acm.org/10.1145/2043174.2043194 db/journals/cacm/cacm54.html#GopalakrishnanKSTGLSSB11