Academic
Academic
Home
News
Teaching
Projects
Publications
Students
Contact
Light
Dark
Automatic
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
Subodh Sharma
,
Sarvani S. Vakkalanka
,
Ganesh Gopalakrishnan
,
Robert M. Kirby
,
Rajeev Thakur
,
William Gropp
September 2008
PDF
Cite
Type
Conference paper
Publication
In the Proceedings of Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008.
MPI
runtime verification
Related
Efficient Verification Solutions for Message Passing Systems
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Dynamic verification of Multicore Communication applications in MCAPI
Cite
×