Academic
Academic
Home
News
Teaching
Projects
Publications
Students
Contact
Light
Dark
Automatic
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Subodh Sharma
,
Ganesh Gopalakrishnan
,
Greg Bronevetsky
September 2012
PDF
Cite
Type
Conference paper
Publication
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012
DPOR
MPI
runtime verification
Related
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
Efficient Verification Solutions for Message Passing Systems
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Dynamic verification of Multicore Communication applications in MCAPI
Cite
×