Subodh Sharma

Dr Subodh Sharma

Research Assistant

Leaving date: 30th November 2014

Interests

My broad goal is to use automated verification techniques to ensure software reliability and security. My primary interests lie in the verification of concurrent and distributed programs via static/dynamic analysis and model checking. 

Biography

I am currently a post-doctoral research assistant in the Systems Verification group headed by Prof. Daniel Kroening since April, 2012. I finished my Ph.D. from the University of Utah under the supervision of Prof. Ganesh Gopalakrishnan in March, 2012. During my PhD I studied the problem of verifying message passing software (written using MPI and MCAPI) via dynamic verification methods. My on-going work here in Oxford is focused on exploring symbolic based methods  to assist dynamic verification thereby allowing scalable verification of message passing software. 

Selected Publications

View AllManage 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