Update Propagation Protocols For Replicated Databases. - Yuri Breitbart; Raghavan Komondoor; Rajeev Rastogi; S. Seshadri; Abraham Silberschatz (SIGMOD Conference, 1999)

Semantics-Preserving Procedure Extraction. - Raghavan Komondoor; Susan Horwitz (POPL, 2000)

Tool Demonstration: Finding Duplicated Code Using Program Dependences. - Raghavan Komondoor; Susan Horwitz (ESOP, 2001)

Using Slicing to Identify Duplication in Source Code. - Raghavan Komondoor; Susan Horwitz (SAS, 2001)

Effective, Automatic Procedure Extraction. - Raghavan Komondoor; Susan Horwitz (IWPC, 2003)

Dependent Types for Program Understanding. - Raghavan Komondoor; Ganesan Ramalingam; Satish Chandra 001; John Field (TACAS, 2005)

Semantics-based reverse engineering of object-oriented data models. - Ganesan Ramalingam; Raghavan Komondoor; John Field; Saurabh Sinha (ICSE, 2006)

Technical forum: Using logical data models for understanding and transforming legacy business applications. - Satish Chandra 001; Jackie De Vries; John Field; Howard M. Hess; Manivannan Kalidasan; Raghavan Komondoor; Frans Nieuwerth; Ganesan Ramalingam; Justin Xue (IBM Syst. J., 2006)

Recovering Data Models via Guarded Dependences. - Raghavan Komondoor; G. Ramalingam (WCRE, 2007)

Parametric Process Model Inference. - Saurabh Sinha; G. Ramalingam; Raghavan Komondoor (WCRE, 2007)

A case study in matching service descriptions to implementations in an existing system. - Hari S. Gupta; Deepak D'Souza; Raghavan Komondoor; Girish M. Rama (ICSM, 2010)

Null dereference verification via over-approximated weakest pre-conditions analysis. - Ravichandhran Madhavan; Raghavan Komondoor (OOPSLA, 2011)

Packet flow analysis in IP networks via abstract interpretation - Raghavan Komondoor; K. Vasanta Lakshmi; Deva P. Seetharam; Sudha Balodia (CoRR, 2011)

Packet flow analysis in IP networks using data-flow analysis. - Raghavan Komondoor; K. Vasanta Lakshmi; Deva P. Seetharam; Sudha Balodia (ISEC, 2012)

Identifying services from legacy batch applications. - Raghavan Komondoor; V. Krishna Nandivada; Saurabh Sinha; John Field (ISEC, 2012)

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation. - Raghavan Komondoor (SAS, 2013)

Using relationships for matching textual domain models with existing code. - Raghavan Komondoor; Indrajit Bhattacharya; Deepak D'Souza; Sachin Kale (WCRE, 2013)

Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis. - K. Vasanta Lakshmi; Aravind Acharya; Raghavan Komondoor (CoRR, 2013)

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. - K. Vasanta Lakshmi; Aravind Acharya; Raghavan Komondoor (FM, 2014)

A dynamic analysis to support object-sharing code refactorings. - Girish Maskeri Rama; Raghavan Komondoor (ASE, 2014)

Program specialization and verification using file format specifications. - Raveendra Kumar Medicherla; Raghavan Komondoor; S. Narendran (ICSME, 2015)

Precision vs. scalability: Context sensitive analysis with prefix approximation. - Raveendra Kumar Medicherla; Raghavan Komondoor (SANER, 2015)

Static Analysis of File-Processing Programs using File Format Specifications. - M. Raveendra Kumar; Raghavan Komondoor; S. Narendran (CoRR, 2015)

Two techniques to improve the precision of a demand-driven null-dereference verification approach. - Amogh Margoor; Raghavan Komondoor (Sci. Comput. Program., 2015)

An Optimization Approach for Matching Textual Domain Models with Existing Code. - Tejas Patil; Raghavan Komondoor; Deepak D'Souza; Indrajit Bhattacharya (ICSME, 2016)

Detecting Full Initialization Points of Objects to Support Code Refactorings. - Girish Maskeri Rama; Raghavan Komondoor (APSEC, 2017)

Testing and analysis of web applications using page models. - Snigdha Athaiya; Raghavan Komondoor (ISSTA, 2017)

Refinement in object-sensitivity points-to analysis via slicing. - Girish Maskeri Rama; Raghavan Komondoor; Himanshu Sharma (Proc. ACM Program. Lang., 2018)

Checking Observational Purity of Procedures. - Himanshu Arora; Raghavan Komondoor; G. Ramalingam (FASE, 2019)

Fitness Guided Vulnerability Detection with Greybox Fuzzing. - Raveendra Kumar Medicherla; Raghavan Komondoor; Abhik Roychoudhury (ICSE (Workshops), 2020)

A Report on the PhD Symposium Track: ISEC 2020. - Raghavan Komondoor (ISEC, 2020)

Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. - Snigdha Athaiya; Raghavan Komondoor; K. Narayan Kumar (ESOP, 2021)

GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (ESEC/SIGSOFT FSE, 2021)

HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing. - Raveendra Kumar Medicherla; Malathy Nagalakshmi; Tanya Sharma; Raghavan Komondoor (CoRR, 2021)

Verification of ORM-based Controllers by Summary Inference. - Geetam Chawla; Navneet Aman; Raghavan Komondoor; Ashish Bokil; Nilesh Kharat (ICSE, 2022)

Handling Memory Pointers in Communication between Microservices. - Vini Kanvar; Srikanth Tamilselvam; Raghavan Komondoor (ICWS, 2022)

Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. - J. S. Sajiv Kumar; Raghavan Komondoor (ATVA (1), 2023)

Symbolic Fixpoint Algorithms for Logical LTL Games. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (ASE, 2023)

Multi-Layer Observability for Fault Localization in Microservices Based Systems. - Rupashree Rangaiyengar; Raghavan Komondoor; Raveendra Kumar Medicherla (SANER, 2023)

Towards Efficient Controller Synthesis Techniques for Logical LTL Games. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (CoRR, 2023)

Kondo: Efficient Provenance-Driven Data Debloating. - Aniket Modi; Rohan Tikmany; Tanu Malik; Raghavan Komondoor; Ashish Gehani; Deepak D'Souza (ICDE, 2024)