Dynamic Symbolic Verification of MPI Programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018 | 24 | 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 | 14 | 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 | 2 | 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 | 1 | 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 | 1 | 2020 |
Analysis and Verification of Message Passing based Parallel Programs D Khanna | | |