| Dynamic Symbolic Verification of MPI Programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018 | 12 | 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 | 8 | 2016 |
| DASC: data aware algorithm for scalable clustering V Bhatnagar, S Kaur, R Saxena, D Khanna Knowledge and Information Systems 50 (3), 851-881, 2017 | 4 | 2017 |
| Comparing data processing frameworks for scalable clustering S Kaur, R Saxena, D Khanna, V Bhatnagar The Twenty-Seventh International Flairs Conference, 2014 | 3 | 2014 |
| 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 |
| 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 | | 2020 |
| Exploratory Analysis of Light Curves: A Case-Study in Astronomy Data Understanding A Mittal, A Santra, V Bhatnagar, D Khanna International Workshop on Databases in Networked Information Systems, 67-94, 2014 | | 2014 |
| Analysis and Verification of Message Passing based Parallel Programs D Khanna | | |
Rahul PurandareAssociate Professor of Computer Science and Engineering, IIIT-DelhiEmail verificata su iiitd.ac.in
