Home
News
Teaching
Projects
Publications
Students
Contact
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
Subodh Sharma
,
Ganesh Gopalakrishnan
,
Greg Bronevetsky
November 2012
PDF
Cite
Type
Conference paper
Publication
In SC Companion: High Performance Computing, Networking Storage and Analysis, Salt Lake City, UT, USA, 2012
hpc
mpi
runtime verification
Related
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Dynamic Symbolic Verification of MPI Programs
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Cite
×