Subodh Sharma : Publications
-
[1]
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)
-
[2]
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
-
[3]
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)
-
[4]
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)
-
[5]
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)
-
[6]
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
-
[7]
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
-
[8]
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
-
[9]
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)