A Sound Reduction of Persistent-sets for Deadlock Detection in MPI Applications . Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky. Accepted in SBMF 2012.
Efficient Verification Solutions for Message Passing Systems . Subodh Sharma, Ganesh Gopalakrishnan. In IPDPS PhD forum workshop 2011.
Symbolic execution engine for exploring
path feasibility in Assembly programs. Subodh Sharma, Todd
Dukes, Jayanta Bhadra, Ganesh Gopalakrishnan. Accepted in MTV 2009.
Dynamic Verification of Multicore
Communication Applications in MCAPI, Subodh Sharma, Ganesh
Gopalakrishnan, Eric Mercer. Accepted in HLDVT 2009. pdf
MCC: A runtime verification tool for
MCAPI applications, Subodh Sharma, Ganesh Gopalakrishnan, Eric
Mercer and Jim Holt.
Accepted in FMCAD 2009.pdf
Formal Verification of MCAPI Applications
Using Dynamic Verification Tool MCC, Subodh Sharma, Ganesh
Gopalakrishnan.
Accepted in TECHCON 2009. pdf
A Formal Approach to Detect Functionally
Irrelevant Barriers in MPI Programs, Subodh Sharma, Sarvani
Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur,
William Gropp. Accepted in EuroPVM/MPI 2008. pdf
ISP: A Tool for Model Checking MPI
Programs, Sarvani Vakkalanka,
Subodh Sharma,
Ganesh Gopalakrishnan, Robert M. Kirby. Accepted in PPoPP 2008. pdf
A Survey of MPI Related Debuggers and
Tools, Subodh Sharma,
Ganesh Gopalakrishnan, Robert M. Kirby. Technical Report
UUCS-07-015. pdf