Publications

Dhriti Khanna, Rahul Purandare, Subodh Sharma (2021). Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. In ICST 2021.

Sanjiva Prasad, Y. Madhukar, Subodh Sharma (2020). Security Types for Synchronous Data Flow Systems.. Accepted in MEMOCODE 2020.

Dhriti Khanna, Rahul Purandare, Subodh Sharma (2020). Verifying and Testing Concurrent Programs using Constraint Solver based Approaches. In ICSME 2020.

PDF Cite

Subhashis Banerjee, Subodh Sharma (2020). Privacy concerns with Aadhaar. In ACM CACM 2019.

PDF Cite

Dhriti Khanna, Subodh Sharma, Cesar Rodriguez, Rahul Purandare (2018). Dynamic Symbolic Verification of MPI Programs. In FM'18.

PDF Cite

Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma (2018). Zeus: Analyzing Safety of Smart Contracts.. In NDSS'18.

PDF Cite

Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma (2017). Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. In TOPLAS'17.

PDF Cite Project

Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare (2016). POLLUX: Safely Upgrading Dependent Application Libraries. In FSE'16.

PDF Cite

Chinmay Narayan, Subodh Sharma, Shibashis Guha, S. Arun-Kumar (2016). From Traces to Proofs: Proving Concurrent Programs Safe. In TASE 2016.

PDF Cite

Chinmay Narayan, Subodh Sharma, S. Arun-Kumar (2016). Efficient Verification of Concurrent Programs over TSO Memory Model.

PDF Cite

Cesar Rodriguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening (2015). Unfolding-based Partial Order Reduction. In CONCUR'15 ( Best Paper Award ).

PDF Cite Project

Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening (2014). Accelerated Test Execution using GPUs. In ASE 2014.

PDF Cite

Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma (2014). Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. FM 2014.

PDF Cite

Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky (2012). MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. In SC (Companion) 2012.

PDF Cite

Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky (2012). A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. In SBMF 2012.

PDF Cite

Subodh Sharma, Ganesh Gopalakrishnan (2011). Efficient Verification Solutions for Message Passing Systems. In IPDPS 2011.

PDF Cite

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt (2009). MCC: A runtime verification tool for MCAPI user applications. In FMCAD 2009.

PDF Cite

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer (2009). Dynamic verification of Multicore Communication applications in MCAPI. In HLDVT 2009 ( Invited Paper ).

PDF Cite

Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni (2009). Some resources for teaching concurrency. In PADTAD 2009.

PDF Cite

Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp (2008). A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. In EuroMPI 2008.

PDF Cite

Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby (2008). ISP: a tool for model checking MPI programs. In PPoPP 2008.

PDF Cite