Raghavan Komondoor

Raghavan Komondoor is an Associate Professor in the Department of Computer Science and Automation at the Indian Institute of Science (IISc), Bangalore. His research focuses on programming languages, program analysis, and software engineering, with a strong emphasis on developing automated tools that help programmers understand, verify, and transform programs quickly and reliably.

His primary research interests include:

• Programming languages and program analysis
• Software verification and testing
• Static analysis techniques
• Null dereference verification
• Points-to analysis
• Web application analysis
• ORM-based controller verification
• Memory optimization in Java programs
• Code clone detection and elimination

Dr. Komondoor has developed several influential research tools including NPEDetector for null dereference verification, Ross for verifying Java program safety, DFAS for static analysis of asynchronous systems, PageModeler for web application analysis, and ORMInfer for verification of ORM-based controllers. His research spans over a decade with publications in top-tier software engineering conferences including ASE, ICSE, ISSTA, and SPLASH.

His recent publications demonstrate a consistent focus on formal methods and program verification, with significant contributions to symbolic fixpoint algorithms, ORM controller verification, and controller synthesis over infinite state spaces. These works build upon his earlier foundational research in points-to analysis, web application analysis, and null pointer verification.

Dr. Komondoor's service contributions to the academic community include:

• Program Committee Co-Chair for ATVA 2025
• Organizing co-chair for ISEC 2024
• Chair of PhD Symposium committee for ISEC 2020
• Program committee membership for ICSE (2018-2025), ASE (2019-2020), ISSTA (2022), and numerous other major conferences

He has successfully mentored numerous PhD and M.Tech students, many of whom now work at leading organizations including Microsoft, Siemens Research, Goldman Sachs, and academic institutions. Currently, he advises multiple PhD students and M.Tech researchers in the Programming Languages Laboratory at IISc. He teaches courses on Program Analysis and Verification, Principles of Distributed Software, and Formal Methods in Software Engineering, and maintains active research projects with open positions for research staff.