Subodh Sharma

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 31

Top Topics

Concurrent Programs

Contractual Obligations

Top Venues

CANDAR Workshops

Publications

Pankaj Upadhyay, Subodh Sharma, Guangdong Bai
Symbolic Verification of Mesh Commissioning Protocol of Thread. ISEC (2024)
Pankaj Upadhyay, Subodh Sharma, Guangdong Bai
Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version). CoRR (2023)
Dhriti Khanna, Subodh Sharma, Rahul Purandare
Verifying Exception-Handling Code in Concurrent Libraries. APSEC (2023)
Rishabh Ranjan, Ishita Agrawal, Subodh Sharma
Exploiting Epochs and Symmetries in Analysing MPI Programs. ASE (2022)
Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma
Fence Synthesis Under the C11 Memory Model. ATVA (2022)
Ridhi Jain, Rahul Purandare, Subodh Sharma
BiRD: Race Detection in Software Binaries under Relaxed Memory Models. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Namrata Jain, Kosuke Kaneko, Subodh Sharma
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper). SEFM (2022)
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Secure Information Flow Typing in LUSTRE. CoRR (2022)
Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma
Fence Synthesis under the C11 Memory Model. CoRR (2022)
Srishti Kulshrestha, Sarthak Agrawal, Devottam Gaurav, Manmohan Chaturvedi, Subodh Sharma, Ranjan Bose
Development and Validation of Serious Games for Teaching Cybersecurity. JCSG (2021)
Divyanjali Sharma, Subodh Sharma
Thread-modular Analysis of Release-Acquire Concurrency. CoRR (2021)
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
Dynamic Verification of C11 Concurrency over Multi Copy Atomics. TASE (2021)
Divyanjali Sharma, Subodh Sharma
Thread-Modular Analysis of Release-Acquire Concurrency. SAS (2021)
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics. CoRR (2021)
Dhriti Khanna, Rahul Purandare, Subodh Sharma
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. ICST (2021)
Kosuke Kaneko, Yusuke Tsutsumi, Subodh Sharma, Yoshihiro Okada
PACKUARIUM: Network Packet Visualization Using Mixed Reality for Detecting Bot IoT Device of DDoS Attack. EIDWT (2020)
Prashant Agrawal, Anubhutie Singh, Malavika Raghavan, Subodh Sharma, Subhashis Banerjee
An operational architecture for privacy-by-design in public service applications. CoRR (2020)
Dhriti Khanna, Rahul Purandare, Subodh Sharma
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches. ICSME (2020)
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Security Types for Synchronous Data Flow Systems. MEMOCODE (2020)
Johjima Shota, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai
Simulation of Secure Volunteer Computing by Using Blockchain. AINA (2019)
Subhashis Banerjee, Subodh Sharma
Privacy concerns with Aadhaar. Commun. ACM 62 (11) (2019)
Prashant Agrawal, Kabir Tomer, Subodh Sharma, Subhashis Banerjee
A universally verifiable, software independent, bare-handed voting protocol. CoRR (2019)
Limao Ma, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai
Reliable Decentralized Oracle with Mechanisms for Verification and Disputation. CANDAR Workshops (2019)
Yuki Nishida, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai
Suppressing Chain Size of Blockchain-Based Information Sharing for Swarm Robotic Systems. CANDAR Workshops (2018)
Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma
ZEUS: Analyzing Safety of Smart Contracts. NDSS (2018)
Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
Dynamic Symbolic Verification of MPI Programs. FM (2018)
Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare
POLLUX: safely upgrading dependent application libraries. SIGSOFT FSE (2016)
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
Efficient Verification of Concurrent Programs Over TSO Memory Model. CoRR (2016)
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
Unfolding-based Partial Order Reduction. CONCUR (2015)
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
Unfolding-based Partial Order Reduction. CoRR (2015)
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
Accelerated test execution using GPUs. ASE (2014)
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. FM (2014)
Daniel Kroening, Subodh Sharma, Björn Wachter
AbPress: Flexing Partial-Order Reduction and Abstraction. CoRR (2014)
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. SC Companion (2012)
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. SBMF (2012)
Subodh Sharma, Ganesh Gopalakrishnan
Efficient Verification Solutions for Message Passing Systems. IPDPS Workshops (2011)
Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni
Some resources for teaching concurrency. PADTAD (2009)
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer
Dynamic verification of Multicore Communication applications in MCAPI. HLDVT (2009)
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
MCC: A runtime verification tool for MCAPI user applications. FMCAD (2009)
Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI (2008)
Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby
ISP: a tool for model checking MPI programs. PPOPP (2008)