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

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

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

Dynamic verification of Multicore Communication applications in MCAPI. - Subodh Sharma 001; Ganesh Gopalakrishnan; Eric Mercer (HLDVT, 2009)

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

Efficient Verification Solutions for Message Passing Systems. - Subodh Sharma 001; Ganesh Gopalakrishnan (IPDPS Workshops, 2011)

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

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

Predictive Analysis of Message Passing Applications. - Subodh Sharma 001 (2013)

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

Accelerated test execution using GPUs. - Ajitha Rajan; Subodh Sharma 001; Peter Schrammel; Daniel Kroening (ASE, 2014)

AbPress: Flexing Partial-Order Reduction and Abstraction. - Daniel Kroening; Subodh Sharma 001; Björn Wachter (CoRR, 2014)

Unfolding-based Partial Order Reduction. - César Rodríguez; Marcelo Sousa; Subodh Sharma 001; Daniel Kroening (CONCUR, 2015)

POLLUX: safely upgrading dependent application libraries. - Sukrit Kalra; Ayush Goel; Dhriti Khanna; Mohan Dhawan; Subodh Sharma 001; Rahul Purandare (SIGSOFT FSE, 2016)

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

Efficient Verification of Concurrent Programs Over TSO Memory Model. - Chinmay Narayan; Subodh Sharma 001; S. Arun-Kumar 004 (CoRR, 2016)

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. - Vojtech Forejt; Saurabh Joshi 001; Daniel Kroening; Ganesh Narayanaswamy; Subodh Sharma 001 (ACM Trans. Program. Lang. Syst., 2017)

Dynamic Symbolic Verification of MPI Programs. - Dhriti Khanna; Subodh Sharma 001; César Rodríguez; Rahul Purandare (FM, 2018)

Suppressing Chain Size of Blockchain-Based Information Sharing for Swarm Robotic Systems. - Yuki Nishida 004; Kosuke Kaneko; Subodh Sharma 001; Kouichi Sakurai (CANDAR Workshops, 2018)

ZEUS: Analyzing Safety of Smart Contracts. - Sukrit Kalra; Seep Goel; Mohan Dhawan; Subodh Sharma 001 (NDSS, 2018)

Simulation of Secure Volunteer Computing by Using Blockchain. - Johjima Shota; Kosuke Kaneko; Subodh Sharma 001; Kouichi Sakurai (AINA, 2019)

Reliable Decentralized Oracle with Mechanisms for Verification and Disputation. - Limao Ma; Kosuke Kaneko; Subodh Sharma 001; Kouichi Sakurai (CANDAR Workshops, 2019)

Privacy concerns with Aadhaar. - Subhashis Banerjee; Subodh Sharma 001 (Commun. ACM, 2019)

A universally verifiable, software independent, bare-handed voting protocol. - Prashant Agrawal; Kabir Tomer; Subodh Sharma 001; Subhashis Banerjee (CoRR, 2019)

PACKUARIUM: Network Packet Visualization Using Mixed Reality for Detecting Bot IoT Device of DDoS Attack. - Kosuke Kaneko; Yusuke Tsutsumi; Subodh Sharma 001; Yoshihiro Okada (EIDWT, 2020)

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

Security Types for Synchronous Data Flow Systems. - Sanjiva Prasad; R. Madhukar Yerraguntla; Subodh Sharma 001 (MEMOCODE, 2020)

An operational architecture for privacy-by-design in public service applications. - Prashant Agrawal; Anubhutie Singh; Malavika Raghavan; Subodh Sharma 001; Subhashis Banerjee (CoRR, 2020)

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

Thread-Modular Analysis of Release-Acquire Concurrency. - Divyanjali Sharma; Subodh Sharma 001 (SAS, 2021)

Development and Validation of Serious Games for Teaching Cybersecurity. - Srishti Kulshrestha; Sarthak Agrawal; Devottam Gaurav; Manmohan Chaturvedi; Subodh Sharma 001; Ranjan Bose (JCSG, 2021)

Dynamic Verification of C11 Concurrency over Multi Copy Atomics. - Sanjana Singh; Divyanjali Sharma; Subodh Sharma 001 (TASE, 2021)

Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics. - Sanjana Singh; Divyanjali Sharma; Subodh Sharma 001 (CoRR, 2021)

Fence Synthesis Under the C11 Memory Model. - Sanjana Singh; Divyanjali Sharma; Ishita Jaju; Subodh Sharma 001 (ATVA, 2022)

Exploiting Epochs and Symmetries in Analysing MPI Programs. - Rishabh Ranjan; Ishita Agrawal; Subodh Sharma 001 (ASE, 2022)

SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper). - Namrata Jain; Kosuke Kaneko; Subodh Sharma 001 (SEFM, 2022)

Secure Information Flow Typing in LUSTRE. - Sanjiva Prasad; R. Madhukar Yerraguntla; Subodh Sharma 001 (CoRR, 2022)

BiRD: Race Detection in Software Binaries under Relaxed Memory Models. - Ridhi Jain; Rahul Purandare; Subodh Sharma 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Verifying Exception-Handling Code in Concurrent Libraries. - Dhriti Khanna; Subodh Sharma 001; Rahul Purandare (APSEC, 2023)

Efficient Adversarial Input Generation via Neural Net Patching. - Tooba Khan; Kumar Madhukar; Subodh Vishnu Sharma (PRDC, 2023)

Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version). - Pankaj Upadhyay; Subodh Sharma 001; Guangdong Bai (CoRR, 2023)

OpenVoting: Recoverability from Failures in Dual Voting. - Prashant Agrawal; Kabir Tomer; Abhinav Nakarmi; Mahabir Prasad Jhanwar; Subodh Sharma 001; Subhashis Banerjee (IACR Cryptol. ePrint Arch., 2023)

Publicly Auditable Privacy-Preserving Electoral Rolls. - Prashant Agrawal; Mahabir Prasad Jhanwar; Subodh Vishnu Sharma; Subhashis Banerjee (CSF, 2024)

Parameterized Static Analysis for Weak Memory Models. - Divyanjali Sharma; Subodh Sharma 001 (ISEC, 2024)

Symbolic Verification of Mesh Commissioning Protocol of Thread. - Pankaj Upadhyay; Subodh Sharma 001; Guangdong Bai (ISEC, 2024)

Traceable mixnets. - Prashant Agrawal; Abhinav Nakarmi; Mahabir Prasad Jhanwar; Subodh Sharma 001; Subhashis Banerjee (Proc. Priv. Enhancing Technol., 2024)