Raghavan Komondoor

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 20

Top Topics

Controller Synthesis

Top Venues

Publications

Aniket Modi, Rohan Tikmany, Tanu Malik, Raghavan Komondoor, Ashish Gehani, Deepak D'Souza
Kondo: Efficient Provenance-Driven Data Debloating. ICDE (2024)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Symbolic Fixpoint Algorithms for Logical LTL Games. ASE (2023)
Rupashree Rangaiyengar, Raghavan Komondoor, Raveendra Kumar Medicherla
Multi-Layer Observability for Fault Localization in Microservices Based Systems. SANER (2023)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Towards Efficient Controller Synthesis Techniques for Logical LTL Games. CoRR (2023)
J. S. Sajiv Kumar, Raghavan Komondoor
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. ATVA (1) (2023)
Geetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil, Nilesh Kharat
Verification of ORM-based Controllers by Summary Inference. ICSE (2022)
Vini Kanvar, Srikanth Tamilselvam, Raghavan Komondoor
Handling Memory Pointers in Communication between Microservices. ICWS (2022)
Raveendra Kumar Medicherla, Malathy Nagalakshmi, Tanya Sharma, Raghavan Komondoor
HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing. CoRR (2021)
Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. CoRR (2021)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces. ESEC/SIGSOFT FSE (2021)
Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. ESOP (2021)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces. CoRR (2021)
Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury
Fitness Guided Vulnerability Detection with Greybox Fuzzing. ICSE (Workshops) (2020)
Raghavan Komondoor
A Report on the PhD Symposium Track: ISEC 2020. ISEC (2020)
Himanshu Arora, Raghavan Komondoor, G. Ramalingam
Checking Observational Purity of Procedures. FASE (2019)
Himanshu Arora, Raghavan Komondoor, G. Ramalingam
Checking Observational Purity of Procedures. CoRR (2019)
Girish Maskeri Rama, Raghavan Komondoor, Himanshu Sharma
Refinement in object-sensitivity points-to analysis via slicing. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Girish Maskeri Rama, Raghavan Komondoor
Detecting Full Initialization Points of Objects to Support Code Refactorings. APSEC (2017)
Snigdha Athaiya, Raghavan Komondoor
Testing and analysis of web applications using page models. ISSTA (2017)
Tejas Patil, Raghavan Komondoor, Deepak D'Souza, Indrajit Bhattacharya
An Optimization Approach for Matching Textual Domain Models with Existing Code. ICSME (2016)
Raveendra Kumar Medicherla, Raghavan Komondoor
Precision vs. scalability: Context sensitive analysis with prefix approximation. SANER (2015)
Amogh Margoor, Raghavan Komondoor
Two techniques to improve the precision of a demand-driven null-dereference verification approach. Sci. Comput. Program. 98 (2015)
Raveendra Kumar Medicherla, Raghavan Komondoor, S. Narendran
Program specialization and verification using file format specifications. ICSME (2015)
M. Raveendra Kumar, Raghavan Komondoor, S. Narendran
Static Analysis of File-Processing Programs using File Format Specifications. CoRR (2015)
K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. FM (2014)
Girish Maskeri Rama, Raghavan Komondoor
A dynamic analysis to support object-sharing code refactorings. ASE (2014)
Raghavan Komondoor
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation. SAS (2013)
Raghavan Komondoor, Indrajit Bhattacharya, Deepak D'Souza, Sachin Kale
Using relationships for matching textual domain models with existing code. WCRE (2013)
K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis. CoRR (2013)
Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, John Field
Identifying services from legacy batch applications. ISEC (2012)
Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia
Packet flow analysis in IP networks using data-flow analysis. ISEC (2012)
Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia
Packet flow analysis in IP networks via abstract interpretation CoRR (2011)
Ravichandhran Madhavan, Raghavan Komondoor
Null dereference verification via over-approximated weakest pre-conditions analysis. OOPSLA (2011)
Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama
A Case Study in Matching Service Descriptions to Implementations in an Existing System CoRR (2010)
Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama
A case study in matching service descriptions to implementations in an existing system. ICSM (2010)
Raghavan Komondoor, G. Ramalingam
Recovering Data Models via Guarded Dependences. WCRE (2007)
Saurabh Sinha, G. Ramalingam, Raghavan Komondoor
Parametric Process Model Inference. WCRE (2007)
Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
Semantics-based reverse engineering of object-oriented data models. ICSE (2006)
Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue
Technical forum: Using logical data models for understanding and transforming legacy business applications. IBM Syst. J. 45 (3) (2006)
Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
Dependent Types for Program Understanding. TACAS (2005)
Raghavan Komondoor, Susan Horwitz
Effective, Automatic Procedure Extraction. IWPC (2003)
Raghavan Komondoor, Susan Horwitz
Tool Demonstration: Finding Duplicated Code Using Program Dependences. ESOP (2001)
Raghavan Komondoor, Susan Horwitz
Using Slicing to Identify Duplication in Source Code. SAS (2001)
Raghavan Komondoor, Susan Horwitz
Semantics-Preserving Procedure Extraction. POPL (2000)
Yuri Breitbart, Raghavan Komondoor, Rajeev Rastogi, S. Seshadri, Abraham Silberschatz
Update Propagation Protocols For Replicated Databases. SIGMOD Conference (1999)