Raghavan Komondoor -

Registered user since Sun 18 Jun 2017

Name:Raghavan Komondoor

Country:India

Affiliation:Indian Institute of Science, India

Personal website: https://www.csa.iisc.ac.in/~raghavan/

Contributions

2025

ICSE

Committee Member in Research Track within the Research Track-track

2024

ICSE

Committee Member in Research Track within the Research Track-track

ISEC

Organization Co-chair in Organizing Committee

2023

ASE

Author of Symbolic Fixpoint Algorithms for Logical LTL Games within the Research Papers-track

ICSE

Program Committee Member in Technical Track within the Technical Track-track

2022

ISSTA

ICSE

Author of Verification of ORM-based Controllers by Summary Inference within the Technical Track-track

2021

ESEC/FSE

Author of GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces within the Demonstrations-track

ICSE

Committee Member in Program Committee within the Technical Track-track

2020

ASE

Committee Member in Program Committee within the Research Papers-track

2019

ASE

Celebration of ASE

Author of Refinement in Object-Sensitivity Points-to Analysis via Slicing within the Celebration of ASE 2019-track

ICSE

Committee Member in Program Committee within the Workshops-track

FASE

Author of Checking Observational Purity Of Procedures within the FASE 2019-track

2018

SPLASH

ICSE

Committee Member in Program committee within the Technical Papers -track

2017

ISSTA

Author of Testing and Analysis of Web Applications using Page Models within the Technical Papers-track

2011

SPLASH

Author of Null dereference verification via over-approximated weakest pre-conditions analysis within the OOPSLA-track