Scalable Clustering Using PACT Programming Model. - Sharanjit Kaur; Dhriti Khanna; Tripti Gupta; Vasudha Bhatnagar (ICDM Workshops, 2012)

Exploratory Analysis of Light Curves: A Case-Study in Astronomy Data Understanding. - Aditi Mittal; Abhishek Santra; Vasudha Bhatnagar; Dhriti Khanna (DNIS, 2014)

Comparing Data Processing Frameworks for Scalable Clustering. - Sharanjit Kaur; Rakhi Saxena; Dhriti Khanna; Vasudha Bhatnagar (FLAIRS, 2014)

POLLUX: safely upgrading dependent application libraries. - Sukrit Kalra; Ayush Goel; Dhriti Khanna; Mohan Dhawan; Subodh Sharma 001; Rahul Purandare (SIGSOFT FSE, 2016)

DASC: data aware algorithm for scalable clustering. - Vasudha Bhatnagar; Sharanjit Kaur; Rakhi Saxena; Dhriti Khanna (Knowl. Inf. Syst., 2017)

Dynamic Symbolic Verification of MPI Programs. - Dhriti Khanna; Subodh Sharma 001; César Rodríguez; Rahul Purandare (FM, 2018)

Verifying and Testing Concurrent Programs using Constraint Solver based Approaches. - Dhriti Khanna; Rahul Purandare; Subodh Sharma 001 (ICSME, 2020)

Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. - Dhriti Khanna; Rahul Purandare; Subodh Sharma 001 (ICST, 2021)

Verifying Exception-Handling Code in Concurrent Libraries. - Dhriti Khanna; Subodh Sharma 001; Rahul Purandare (APSEC, 2023)