Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
Dhriti Khanna
Latest
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
Dynamic Symbolic Verification of MPI Programs
POLLUX: Safely Upgrading Dependent Application Libraries
Cite
×