Dhriti Khanna

According to our database, Dhriti Khanna authored at least 9 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Verifying Exception-Handling Code in Concurrent Libraries.

Dhriti Khanna, Subodh Sharma, Rahul Purandare

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2021

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

Dhriti Khanna, Rahul Purandare, Subodh Sharma

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

Verifying and Testing Concurrent Programs using Constraint Solver based Approaches.

Dhriti Khanna, Rahul Purandare, Subodh Sharma

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2018

Dynamic Symbolic Verification of MPI Programs.

Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

DASC: data aware algorithm for scalable clustering.

Vasudha Bhatnagar, Sharanjit Kaur, Rakhi Saxena, Dhriti Khanna

Knowl. Inf. Syst., 2017

2016

POLLUX: safely upgrading dependent application libraries.

Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2014

Comparing Data Processing Frameworks for Scalable Clustering.

Sharanjit Kaur, Rakhi Saxena, Dhriti Khanna, Vasudha Bhatnagar

Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

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

Aditi Mittal, Abhishek Santra, Vasudha Bhatnagar, Dhriti Khanna

Proceedings of the Databases in Networked Information Systems - 9th International Workshop, 2014

2012

Scalable Clustering Using PACT Programming Model.

Sharanjit Kaur, Dhriti Khanna, Tripti Gupta, Vasudha Bhatnagar

Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012