Raghavan Komondoor

According to our database, Raghavan Komondoor authored at least 40 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Towards Efficient Controller Synthesis Techniques for Logical LTL Games.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

CoRR, 2023

Multi-Layer Observability for Fault Localization in Microservices Based Systems.

Rupashree Rangaiyengar, Raghavan Komondoor, Raveendra Kumar Medicherla

Proceedings of the IEEE International Conference on Software Analysis, 2023

Symbolic Fixpoint Algorithms for Logical LTL Games.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation.

J. S. Sajiv Kumar, Raghavan Komondoor

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Handling Memory Pointers in Communication between Microservices.

Vini Kanvar, Srikanth Tamilselvam, Raghavan Komondoor

Proceedings of the IEEE International Conference on Web Services, 2022

Verification of ORM-based Controllers by Summary Inference.

Geetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil, Nilesh Kharat

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing.

Raveendra Kumar Medicherla, Malathy Nagalakshmi, Tanya Sharma, Raghavan Komondoor

CoRR, 2021

GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains.

Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar

Proceedings of the Programming Languages and Systems, 2021

2020

A Report on the PhD Symposium Track: ISEC 2020.

Raghavan Komondoor

Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020

Fitness Guided Vulnerability Detection with Greybox Fuzzing.

Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

2019

Checking Observational Purity of Procedures.

Himanshu Arora, Raghavan Komondoor, G. Ramalingam

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Refinement in object-sensitivity points-to analysis via slicing.

Girish Maskeri Rama, Raghavan Komondoor, Himanshu Sharma

Proc. ACM Program. Lang., 2018

2017

Testing and analysis of web applications using page models.

Snigdha Athaiya, Raghavan Komondoor

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Detecting Full Initialization Points of Objects to Support Code Refactorings.

Girish Maskeri Rama, Raghavan Komondoor

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

An Optimization Approach for Matching Textual Domain Models with Existing Code.

Tejas Patil, Raghavan Komondoor, Deepak D'Souza, Indrajit Bhattacharya

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

2015

Two techniques to improve the precision of a demand-driven null-dereference verification approach.

Amogh Margoor, Raghavan Komondoor

Sci. Comput. Program., 2015

Static Analysis of File-Processing Programs using File Format Specifications.

M. Raveendra Kumar, Raghavan Komondoor, S. Narendran

CoRR, 2015

Precision vs. scalability: Context sensitive analysis with prefix approximation.

Raveendra Kumar Medicherla, Raghavan Komondoor

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Program specialization and verification using file format specifications.

Raveendra Kumar Medicherla, Raghavan Komondoor, S. Narendran

Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

2014

A dynamic analysis to support object-sharing code refactorings.

Girish Maskeri Rama, Raghavan Komondoor

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis.

K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor

Proceedings of the FM 2014: Formal Methods, 2014

2013

Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis.

K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor

CoRR, 2013

Using relationships for matching textual domain models with existing code.

Raghavan Komondoor, Indrajit Bhattacharya, Deepak D'Souza, Sachin Kale

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation.

Raghavan Komondoor

Proceedings of the Static Analysis - 20th International Symposium, 2013

2012

Identifying services from legacy batch applications.

Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, John Field

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

Packet flow analysis in IP networks using data-flow analysis.

Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

2011

Packet flow analysis in IP networks via abstract interpretation

Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia

CoRR, 2011

Null dereference verification via over-approximated weakest pre-conditions analysis.

Ravichandhran Madhavan, Raghavan Komondoor

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

A case study in matching service descriptions to implementations in an existing system.

Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2007

Parametric Process Model Inference.

Saurabh Sinha, G. Ramalingam, Raghavan Komondoor

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Recovering Data Models via Guarded Dependences.

Raghavan Komondoor, G. Ramalingam

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

2006

Technical forum: Using logical data models for understanding and transforming legacy business applications.

Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue

IBM Syst. J., 2006

Semantics-based reverse engineering of object-oriented data models.

Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Dependent Types for Program Understanding.

Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2003

Effective, Automatic Procedure Extraction.

Raghavan Komondoor, Susan Horwitz

Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

2001

Using Slicing to Identify Duplication in Source Code.

Raghavan Komondoor, Susan Horwitz

Proceedings of the Static Analysis, 8th International Symposium, 2001

Tool Demonstration: Finding Duplicated Code Using Program Dependences.

Raghavan Komondoor, Susan Horwitz

Proceedings of the Programming Languages and Systems, 2001

2000

Semantics-Preserving Procedure Extraction.

Raghavan Komondoor, Susan Horwitz

Proceedings of the POPL 2000, 2000

1999

Update Propagation Protocols For Replicated Databases.

Yuri Breitbart, Raghavan Komondoor, Rajeev Rastogi, S. Seshadri, Abraham Silberschatz

Proceedings of the SIGMOD 1999, 1999