Raghavan Komondoor

47 papers A* 6A 10B 5C 1Journal 12Unranked 12

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