Subodh Sharma : Publications

Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs

Vojtech Forejt‚ Daniel Kroening‚ Ganesh Narayanswamy and Subodh Sharma

In FM 2014: Formal Methods. Vol. 8442 of Lecture Notes in Computer Science. Pages 263−278. Springer International Publishing. 2014.

Details about Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs | BibTeX data for Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs

Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications

S. Sharma‚ G. Gopalakrishnan and G. Bronevetsky

In High Performance Computing‚ Networking‚ Storage and Analysis (SCC)‚ 2012 SC Companion:. Pages 1425–1426. November, 2012.

Details about Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications | BibTeX data for Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications | DOI (10.1109/SC.Companion.2012.233)

A Sound Reduction of Persistent−Sets for Deadlock Detection in MPI Applications

Subodh Sharma‚ Ganesh Gopalakrishnan and Greg Bronevetsky

In Rohit Gheyi and David Naumann, editors, Formal Methods: Foundations and Applications. Pages 194–209. Springer Berlin Heidelberg. January, 2012.

Details about A Sound Reduction of Persistent−Sets for Deadlock Detection in MPI Applications | BibTeX data for A Sound Reduction of Persistent−Sets for Deadlock Detection in MPI Applications

Efficient Verification Solutions for Message Passing Systems

S. Sharma and G. Gopalakrishnan

In 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW). Pages 2026–2029. May, 2011.

Details about Efficient Verification Solutions for Message Passing Systems | BibTeX data for Efficient Verification Solutions for Message Passing Systems | DOI (10.1109/IPDPS.2011.368)

Dynamic verification of Multicore Communication applications in MCAPI

S. Sharma‚ G. Gopalakrishnan and E. Mercer

In High Level Design Validation and Test Workshop‚ 2009. HLDVT 2009. IEEE International. Pages 100–105. November, 2009.

Details about Dynamic verification of Multicore Communication applications in MCAPI | BibTeX data for Dynamic verification of Multicore Communication applications in MCAPI | DOI (10.1109/HLDVT.2009.5340169)

MCC: A runtime verification tool for MCAPI user applications

S. Sharma‚ G. Gopalakrishnan‚ E. Mercer and J. Holt

In Formal Methods in Computer−Aided Design‚ 2009. FMCAD 2009. Pages 41–44. November, 2009.

Details about MCC: A runtime verification tool for MCAPI user applications | BibTeX data for MCC: A runtime verification tool for MCAPI user applications | DOI (10.1109/FMCAD.2009.5351145)

Some Resources for Teaching Concurrency

Ganesh Gopalakrishnan‚ Yu Yang‚ Sarvani Vakkalanka‚ Anh Vo‚ Sriram Aananthakrishnan‚ Grzegorz Szubzda‚ Geof Sawaya‚ Jason Williams‚ Subodh Sharma‚ Michael DeLisi and Simone Atzeni

In Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing‚ Analysis‚ and Debugging. Pages 2:1–2:6. New York‚ NY‚ USA. 2009. ACM.

Details about Some Resources for Teaching Concurrency | BibTeX data for Some Resources for Teaching Concurrency | DOI (10.1145/1639622.1639624) | Link to Some Resources for Teaching Concurrency

ISP: A Tool for Model Checking MPI Programs

Sarvani S. Vakkalanka‚ Subodh Sharma‚ Ganesh Gopalakrishnan and Robert M. Kirby

In Siddhartha Chatterjee and Michael L. Scott, editors, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Pages 285–286. New York‚ NY‚ USA. 2008. ACM.

Details about ISP: A Tool for Model Checking MPI Programs | BibTeX data for ISP: A Tool for Model Checking MPI Programs | DOI (10.1145/1345206.1345258) | Link to ISP: A Tool for Model Checking MPI Programs

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs

Subodh Sharma‚ Sarvani S. Vakkalanka‚ Ganesh Gopalakrishnan‚ Robert M. Kirby‚ Rajeev Thakur and William Gropp

In Alexey L. Lastovetsky‚ M. Tahar Kechadi and Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface‚ 15th European PVM/MPI Users' Group Meeting‚ Dublin‚ Ireland‚ September 7−10‚ 2008. Proceedings. Vol. 5205 of Lecture Notes in Computer Science. Pages 265–273. Springer. 2008.

Details about A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs | BibTeX data for A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs | DOI (10.1007/978-3-540-87475-1_36)