Subodh Sharma : Publications

Book chapters

• [1]

  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

Conference papers

• [1]

  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

• [2]

  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)

• [3]

  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)

• [4]

  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

• [5]

  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)

• [6]

  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)

• [7]

  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

• [8]

  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)