| 2026 | CC | HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance. | Khushboo Chitre, Piyus Kedia, Rahul Purandare |
| 2026 | SANER | Assessing Large Language Models in Verifying Concurrent Programs. | Ridhi Jain, Rahul Purandare |
| 2023 | APSEC | Verifying Exception-Handling Code in Concurrent Libraries. | Dhriti Khanna, Subodh Sharma, Rahul Purandare |
| 2023 | ISSTA | CGuard: Scalable and Precise Object Bounds Protection for C. | Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh |
| 2022 | RV | Optimal Finite-State Monitoring of Partial Traces. | Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer |
| 2021 | ICSE | On Indirectly Dependent Documentation in the Context of Code Evolution: A Study. | Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare |
| 2021 | ICSE | Dataset to Study Indirectly Dependent Documentation in GitHub Repositories. | Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare |
| 2021 | ICST | Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. | Dhriti Khanna, Rahul Purandare, Subodh Sharma |
| 2019 | ICST | Similarities Across Libraries: Making a Case for Leveraging Test Suites. | Devika Sondhi, Divya Rani, Rahul Purandare |
| 2018 | FM | Dynamic Symbolic Verification of MPI Programs. | Dhriti Khanna, Subodh Sharma, Csar Rodrguez, Rahul Purandare |
| 2018 | MSR | A search system for mathematical expressions on software binaries. | Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare |
| 2018 | RV | METIS: Resource and Context-Aware Monitoring of Finite State Properties. | Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare |
| 2017 | WSDM | ANNE: Improving Source Code Search using Entity Retrieval Approach. | Venkatesh Vinayakarao, Anita Sarma, Rahul Purandare, Shuktika Jain, Saumya Jain |
| 2016 | Mobiquitous | KIRKE: Re-engineering of Web Applications to Mobile Apps. | Rohit Mehra, Vinayak Naik, Rahul Purandare, Kapish Malik |
| 2016 | RTSS | REVERT: Runtime Verification for Real-Time Systems. | Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare |
| 2015 | PEPM | Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. | Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori |
| 2014 | ICSE | Chiromancer: a tool for boosting Android application performance. | Samit Anwer, Aniya Aggarwal, Rahul Purandare, Vinayak Naik |
| 2013 | ISSTA | Optimizing monitoring of finite state properties through monitor compaction. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2013 | RV | Distributed Finite-State Runtime Monitoring with Aggregated Events. | Kevin Falzon, Eric Bodden, Rahul Purandare |
| 2012 | IROS | Extracting conditional component dependence for distributed robotic systems. | Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2011 | RV | Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2010 | OOPSLA | Monitor optimization via stutter-equivalent loop transformation. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2010 | RV | Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? | Matthew B. Dwyer, Rahul Purandare, Suzette Person |
| 2007 | ICSE | Parallel Randomized State-Space Search. | Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare |