Author

Dhriti Khanna

Institution: Indraprastha Institute of Information Technology Delhi

Observed institutions: University of Delhi, Indraprastha Institute of Information Technology Delhi, LG (India), National Institute of Solar Energy

OpenAlex ID: A5045199869

Dynamic Symbolic Verification of MPI Programs

2018 · Dhriti Khanna, Subodh Sharma, et al. · Lecture notes in computer science · 21

POLLUX: safely upgrading dependent application libraries

2016 · Sukrit Kalra, Ayush Goel, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 11

Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks

2021 · Dhriti Khanna, Rahul Purandare, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 3

Verifying and Testing Concurrent Programs using Constraint Solver based Approaches

2020 · Dhriti Khanna, Rahul Purandare, et al. · IEEE International Conference on Software Maintenance (ICSM) · 2

DASC: data aware algorithm for scalable clustering

2016 · Vasudha Bhatnagar, Sharanjit Kaur, et al. · Knowledge and Information Systems · 2

Scalable Clustering Using PACT Programming Model

2012 · Sharanjit Kaur, Dhriti Khanna, et al. · IEEE ... International Conference on Data Mining workshops · 2

Comparing Data Processing Frameworks for Scalable Clustering.

2014 · Sharanjit Kaur, Rakhi Saxena, et al. · The Florida AI Research Society · 1

Exploratory Analysis of Light Curves: A Case-Study in Astronomy Data Understanding

2014 · Aditi Mittal, Abhishek Santra, et al. · Lecture notes in computer science · 1

Verifying Exception-Handling Code in Concurrent Libraries

2023 · Dhriti Khanna, Subodh Sharma, et al. · Asia-Pacific Software Engineering Conference (APSEC)

Works count: 10

Citation count: 43

H-index: 3

I10-index: 2