Academic
Academic
Home
News
Courses
Publications
Students
Contact
Light
Dark
Automatic
Concurrency
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
In ICST 2021
Dhriti Khanna
,
Rahul Purandare
,
Subodh Sharma
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
In ICSME 2020
Dhriti Khanna
,
Rahul Purandare
,
Subodh Sharma
PDF
Cite
Verification of Message Passing Systems
Message passing is pervasive – from inter processs communication in multicores to high performance computing, message passing plays a central role. In this project, we envison to create a framework to analyse message passing systems.
Subodh Sharma
Verification of C11 Concurrency
Verification of parallel systems is a complex exercise. The large state spaces created due to thread interleavings complicates the verification of such parallel systems. The problem becomes even harder in case of parallel programs executed under relaxed memory models.
Sanjana Singh
,
Divyanjali
,
Subodh Sharma
Cite
×