Dhriti Khanna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2012–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | APSEC | Verifying Exception-Handling Code in Concurrent Libraries. | Dhriti Khanna, Subodh Sharma, Rahul Purandare |
| 2021 | ICST | Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. | Dhriti Khanna, Rahul Purandare, Subodh Sharma |
| 2018 | FM | Dynamic Symbolic Verification of MPI Programs. | Dhriti Khanna, Subodh Sharma, Csar Rodrguez, Rahul Purandare |
| 2014 | FlAIRS | Comparing Data Processing Frameworks for Scalable Clustering. | Sharanjit Kaur, Rakhi Saxena, Dhriti Khanna, Vasudha Bhatnagar |
| 2012 | ICDM | Scalable Clustering Using PACT Programming Model. | Sharanjit Kaur, Dhriti Khanna, Tripti Gupta, Vasudha Bhatnagar |