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 journalArticle

44 Citations (Scopus)

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

Engineering & Materials Science