| 2024 | ICDE | Kondo: Efficient Provenance-Driven Data Debloating. | Aniket Modi, Rohan Tikmany, Tanu Malik, Raghavan Komondoor, Ashish Gehani, Deepak D'Souza |
| 2023 | ATVA | Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. | J. S. Sajiv Kumar, Raghavan Komondoor |
| 2022 | ICSE | Verification of ORM-based Controllers by Summary Inference. | Geetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil, Nilesh Kharat |
| 2022 | ICWS | Handling Memory Pointers in Communication between Microservices. | Vini Kanvar, Srikanth Tamilselvam, Raghavan Komondoor |
| 2021 | ESOP | Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. | Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar |
| 2020 | ICSE | Fitness Guided Vulnerability Detection with Greybox Fuzzing. | Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury |
| 2019 | FASE | Checking Observational Purity of Procedures. | Himanshu Arora, Raghavan Komondoor, G. Ramalingam |
| 2017 | APSEC | Detecting Full Initialization Points of Objects to Support Code Refactorings. | Girish Maskeri Rama, Raghavan Komondoor |
| 2017 | ISSTA | Testing and analysis of web applications using page models. | Snigdha Athaiya, Raghavan Komondoor |
| 2014 | FM | Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. | K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor |
| 2013 | SAS | Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation. | Raghavan Komondoor |
| 2011 | OOPSLA | Null dereference verification via over-approximated weakest pre-conditions analysis. | Ravichandhran Madhavan, Raghavan Komondoor |
| 2006 | ICSE | Semantics-based reverse engineering of object-oriented data models. | Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha |
| 2005 | TACAS | Dependent Types for Program Understanding. | Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field |
| 2001 | ESOP | Tool Demonstration: Finding Duplicated Code Using Program Dependences. | Raghavan Komondoor, Susan Horwitz |
| 2001 | SAS | Using Slicing to Identify Duplication in Source Code. | Raghavan Komondoor, Susan Horwitz |
| 2000 | POPL | Semantics-Preserving Procedure Extraction. | Raghavan Komondoor, Susan Horwitz |
| 1999 | SIGMOD | Update Propagation Protocols For Replicated Databases. | Yuri Breitbart, Raghavan Komondoor, Rajeev Rastogi, S. Seshadri, Abraham Silberschatz |