Volgen
Dhriti Khanna
Dhriti Khanna
IIIT Delhi
Geverifieerd e-mailadres voor iiitd.ac.in
Titel
Geciteerd door
Geciteerd door
Jaar
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
152016
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–6