Dhriti Khanna
Dhriti Khanna
Verified email at iiitd.ac.in
Title
Cited by
Cited by
Year
Dynamic Symbolic Verification of MPI Programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
132018
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
92016
DASC: data aware algorithm for scalable clustering
V Bhatnagar, S Kaur, R Saxena, D Khanna
Knowledge and Information Systems 50 (3), 851-881, 2017
42017
Comparing data processing frameworks for scalable clustering
S Kaur, R Saxena, D Khanna, V Bhatnagar
The Twenty-Seventh International Flairs Conference, 2014
32014
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
22012
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
The system can't perform the operation now. Try again later.
Articles 1–8