Subodh Sharma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
15
Active years
2008–2023
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | APSEC | Verifying Exception-Handling Code in Concurrent Libraries. | Dhriti Khanna, Subodh Sharma, Rahul Purandare |
| 2022 | ATVA | Fence Synthesis Under the C11 Memory Model. | Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma |
| 2022 | SEFM | SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper). | Namrata Jain, Kosuke Kaneko, Subodh Sharma |
| 2021 | ICST | Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. | Dhriti Khanna, Rahul Purandare, Subodh Sharma |
| 2021 | SAS | Thread-Modular Analysis of Release-Acquire Concurrency. | Divyanjali Sharma, Subodh Sharma |
| 2021 | TASE | Dynamic Verification of C11 Concurrency over Multi Copy Atomics. | Sanjana Singh, Divyanjali Sharma, Subodh Sharma |
| 2020 | MEMOCODE | Security Types for Synchronous Data Flow Systems. | Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma |
| 2019 | AINA | Simulation of Secure Volunteer Computing by Using Blockchain. | Johjima Shota, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai |
| 2018 | FM | Dynamic Symbolic Verification of MPI Programs. | Dhriti Khanna, Subodh Sharma, Csar Rodrguez, Rahul Purandare |
| 2018 | NDSS | ZEUS: Analyzing Safety of Smart Contracts. | Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma |
| 2015 | CONCUR | Unfolding-based Partial Order Reduction. | Csar Rodrguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening |
| 2014 | FM | Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. | Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma |
| 2012 | SC | Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. | Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky |
| 2009 | FMCAD | MCC: A runtime verification tool for MCAPI user applications. | Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt |
| 2009 | ISSTA | Some resources for teaching concurrency. | Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni |
| 2008 | PPoPP | ISP: a tool for model checking MPI programs. | Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby |