Subodh Sharma

According to our database, Subodh Sharma authored at least 46 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Symbolic Verification of Mesh Commissioning Protocol of Thread.

Pankaj Upadhyay, Subodh Sharma, Guangdong Bai

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

Parameterized Static Analysis for Weak Memory Models.

Divyanjali Sharma, Subodh Sharma

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

Publicly Auditable Privacy-Preserving Electoral Rolls.

Prashant Agrawal, Mahabir Prasad Jhanwar, Subodh Vishnu Sharma, Subhashis Banerjee

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Traceable mixnets.

Prashant Agrawal, Abhinav Nakarmi, Mahabir Prasad Jhanwar, Subodh Vishnu Sharma, Subhashis Banerjee

IACR Cryptol. ePrint Arch., 2023

Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version).

Pankaj Upadhyay, Subodh Sharma, Guangdong Bai

CoRR, 2023

Efficient Adversarial Input Generation via Neural Net Patching.

Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

OpenVoting: Recoverability from Failures in Dual Voting.

Prashant Agrawal, Kabir Tomer, Abhinav Nakarmi, Mahabir Prasad Jhanwar, Subodh Vishnu Sharma, Subhashis Banerjee

Proceedings of the Electronic Voting: 8th International Joint Conference, 2023

Verifying Exception-Handling Code in Concurrent Libraries.

Dhriti Khanna, Subodh Sharma, Rahul Purandare

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

BiRD: Race Detection in Software Binaries under Relaxed Memory Models.

Ridhi Jain, Rahul Purandare, Subodh Sharma

ACM Trans. Softw. Eng. Methodol., 2022

Secure Information Flow Typing in LUSTRE.

Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma

CoRR, 2022

SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper).

Namrata Jain, Kosuke Kaneko, Subodh Sharma

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Exploiting Epochs and Symmetries in Analysing MPI Programs.

Rishabh Ranjan, Ishita Agrawal, Subodh Sharma

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Fence Synthesis Under the C11 Memory Model.

Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics.

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

CoRR, 2021

Dynamic Verification of C11 Concurrency over Multi Copy Atomics.

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Development and Validation of Serious Games for Teaching Cybersecurity.

Srishti Kulshrestha, Sarthak Agrawal, Devottam Gaurav, Manmohan Chaturvedi, Subodh Sharma, Ranjan Bose

Proceedings of the Serious Games - Joint International Conference, 2021

Thread-Modular Analysis of Release-Acquire Concurrency.

Divyanjali Sharma, Subodh Sharma

Proceedings of the Static Analysis - 28th International Symposium, 2021

Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks.

Dhriti Khanna, Rahul Purandare, Subodh Sharma

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

An operational architecture for privacy-by-design in public service applications.

Prashant Agrawal, Anubhutie Singh, Malavika Raghavan, Subodh Sharma, Subhashis Banerjee

CoRR, 2020

Security Types for Synchronous Data Flow Systems.

Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Verifying and Testing Concurrent Programs using Constraint Solver based Approaches.

Dhriti Khanna, Rahul Purandare, Subodh Sharma

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

PACKUARIUM: Network Packet Visualization Using Mixed Reality for Detecting Bot IoT Device of DDoS Attack.

Kosuke Kaneko, Yusuke Tsutsumi, Subodh Sharma, Yoshihiro Okada

Proceedings of the Advances in Internet, 2020

2019

A universally verifiable, software independent, bare-handed voting protocol.

Prashant Agrawal, Kabir Tomer, Subodh Sharma, Subhashis Banerjee

CoRR, 2019

Privacy concerns with Aadhaar.

Subhashis Banerjee, Subodh Sharma

Commun. ACM, 2019

Reliable Decentralized Oracle with Mechanisms for Verification and Disputation.

Limao Ma, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai

Proceedings of the Seventh International Symposium on Computing and Networking Workshops, 2019

Simulation of Secure Volunteer Computing by Using Blockchain.

Johjima Shota, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai

Proceedings of the Advanced Information Networking and Applications, 2019

2018

ZEUS: Analyzing Safety of Smart Contracts.

Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Suppressing Chain Size of Blockchain-Based Information Sharing for Swarm Robotic Systems.

Yuki Nishida, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai

Proceedings of the Sixth International Symposium on Computing and Networking, 2018

Dynamic Symbolic Verification of MPI Programs.

Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.

Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma

ACM Trans. Program. Lang. Syst., 2017

2016

Efficient Verification of Concurrent Programs Over TSO Memory Model.

Chinmay Narayan, Subodh Sharma, S. Arun-Kumar

CoRR, 2016

From Traces to Proofs: Proving Concurrent Programs Safe.

Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

POLLUX: safely upgrading dependent application libraries.

Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Unfolding-based Partial Order Reduction.

César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

AbPress: Flexing Partial-Order Reduction and Abstraction.

Daniel Kroening, Subodh Sharma, Björn Wachter

CoRR, 2014

Accelerated test execution using GPUs.

Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.

Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma

Proceedings of the FM 2014: Formal Methods, 2014

2013

Predictive Analysis of Message Passing Applications.

Subodh Sharma

PhD thesis, 2013

2012

Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications.

Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky

Proceedings of the 2012 SC Companion: High Performance Computing, 2012

A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications.

Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

Efficient Verification Solutions for Message Passing Systems.

Subodh Sharma, Ganesh Gopalakrishnan

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2009

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

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Dynamic verification of Multicore Communication applications in MCAPI.

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009

MCC: A runtime verification tool for MCAPI user applications.

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.

Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

ISP: a tool for model checking MPI programs.

Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008