Sledovať
Dhriti Khanna
Dhriti Khanna
IIIT Delhi
Overená e-mailová adresa na: iiitd.ac.in
Názov
Citované v
Citované v
Rok
Dynamic Symbolic Verification of MPI Programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
262018
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
182016
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
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–6