Dhriti Khanna
Dhriti Khanna
Verified email at
Cited by
Cited by
Dynamic Symbolic Verification of MPI Programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
POLLUX: safely upgrading dependent application libraries
S Kalra, A Goel, D Khanna, M Dhawan, S Sharma, R Purandare
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
Scalable clustering using pact programming model
S Kaur, D Khanna, T Gupta, V Bhatnagar
Data Mining Workshops (ICDMW), 2012 IEEE 12th International Conference on …, 2012
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
D Khanna, R Purandare, S Sharma
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
D Khanna, R Purandare, S Sharma
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
Analysis and Verification of Message Passing based Parallel Programs
D Khanna
The system can't perform the operation now. Try again later.
Articles 1–6