1

Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
In ICST 2021
Dhriti Khanna, Rahul Purandare, Subodh Sharma
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
Security Types for Synchronous Data Flow Systems.
In MEMOCODE 2020 (Best Paper Award)
Sanjiva Prasad, Y. Madhukar, Subodh Sharma
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
In ICSME 2020
Dhriti Khanna, Rahul Purandare, Subodh Sharma
PDF Cite
Dynamic Symbolic Verification of MPI Programs
In FM 2018
Dhriti Khanna, Subodh Sharma, Cesar Rodriguez, Rahul Purandare
PDF Cite
Dynamic Symbolic Verification of MPI Programs
Zeus: Analyzing Safety of Smart Contracts.
In NDSS 2018
Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma
PDF Cite
Zeus: Analyzing Safety of Smart Contracts.
POLLUX: Safely Upgrading Dependent Application Libraries
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare
PDF Cite
POLLUX: Safely Upgrading Dependent Application Libraries
From Traces to Proofs: Proving Concurrent Programs Safe
Chinmay Narayan, Subodh Sharma, Shibashis Guha, S. Arun-Kumar
PDF Cite
Efficient Verification of Concurrent Programs over TSO Memory Model
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
PDF Cite
Unfolding-based Partial Order Reduction
Cesar Rodriguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
PDF Cite Project
Accelerated Test Execution using GPUs
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
PDF Cite