Dhriti Khanna

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 6

Top Topics

Constraint Solver

Concurrent Programs

Data Processing

Dissimilarity Matrix

Top Venues

FLAIRS Conference

Publications

Dhriti Khanna, Subodh Sharma, Rahul Purandare
Verifying Exception-Handling Code in Concurrent Libraries. APSEC (2023)
Dhriti Khanna, Rahul Purandare, Subodh Sharma
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. ICST (2021)
Dhriti Khanna, Rahul Purandare, Subodh Sharma
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches. ICSME (2020)
Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
Dynamic Symbolic Verification of MPI Programs. FM (2018)
Vasudha Bhatnagar, Sharanjit Kaur, Rakhi Saxena, Dhriti Khanna
DASC: data aware algorithm for scalable clustering. Knowl. Inf. Syst. 50 (3) (2017)
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare
POLLUX: safely upgrading dependent application libraries. SIGSOFT FSE (2016)
Aditi Mittal, Abhishek Santra, Vasudha Bhatnagar, Dhriti Khanna
Exploratory Analysis of Light Curves: A Case-Study in Astronomy Data Understanding. DNIS (2014)
Sharanjit Kaur, Rakhi Saxena, Dhriti Khanna, Vasudha Bhatnagar
Comparing Data Processing Frameworks for Scalable Clustering. FLAIRS Conference (2014)
Sharanjit Kaur, Dhriti Khanna, Tripti Gupta, Vasudha Bhatnagar
Scalable Clustering Using PACT Programming Model. ICDM Workshops (2012)