Rahul Purandare

Latest

• Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
• Dynamic Symbolic Verification of MPI Programs
• POLLUX: Safely Upgrading Dependent Application Libraries