Следене
Dhriti Khanna
Dhriti Khanna
Потвърден имейл адрес: iiitd.ac.in
Заглавие
Позовавания
Позовавания
Година
Dynamic Symbolic Verification of MPI Programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
242018
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
142016
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
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
12021
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
12020
Analysis and Verification of Message Passing based Parallel Programs
D Khanna
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–6