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. Communications of the ACM, 54(12):82-91, 2011. [doi]
Abstract is missing.