1

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
MCC: A runtime verification tool for MCAPI user applications
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
PDF Cite
Dynamic verification of Multicore Communication applications in MCAPI
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer
PDF Cite
Some resources for teaching concurrency
Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni
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
ISP: a tool for model checking MPI programs
Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby
PDF Cite