MPI

Verification of Message Passing Systems
Message passing is pervasive – from inter processs communication in multicores to high performance computing, message passing plays a central role. In this project, we envison to create a framework to analyse message passing systems.
Subodh Sharma
Verification of Message Passing Systems
Dynamic Symbolic Verification of MPI Programs
In FM 2018
Dhriti Khanna, Subodh Sharma, Cesar Rodriguez, Rahul Purandare
PDF Cite
Dynamic Symbolic Verification of MPI Programs
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
PDF Cite Project
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
PDF Cite
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
PDF Cite
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
PDF Cite
Efficient Verification Solutions for Message Passing Systems
Subodh Sharma, Ganesh Gopalakrishnan
PDF Cite
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
PDF Cite