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