Raghavan Komondoor -

Registered user since Sun 18 Jun 2017

Name:Raghavan Komondoor

Country:India

Affiliation:IISc Bengaluru

Personal website:http://drona.csa.iisc.ac.in/~raghavan/

Contributions

ICSE 2024	Committee Member in Research Track within the Research Track-track
ICSE 2023	Program Committee Member in Technical Track within the Technical Track-track
ISSTA 2022	Session Chair of Session 1-2: Test Generation and Mutation A (part of Technical Papers) Session Chair of Session 1-7: Static Analysis and Specifications Testing A (part of Technical Papers) Programme Committee in Program Committee within the Technical Papers-track
ICSE 2022	Author of Verification of ORM-based Controllers by Summary Inference within the Technical Track-track
ESEC/FSE 2021	Author of GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces within the Demonstrations-track
ICSE 2021	Committee Member in Program Committee within the Technical Track-track
ASE 2020	Committee Member in Program Committee within the Research Papers-track
ASE 2019	Session Chair of Verification and Bug Detection (part of Papers) Committee Member in Program Committee within the Research Papers-track
Celebration of ASE 2019	Author of Refinement in Object-Sensitivity Points-to Analysis via Slicing within the Celebration of ASE 2019-track
ICSE 2019	Committee Member in Program Committee within the Workshops-track
FASE 2019	Author of Checking Observational Purity Of Procedures within the FASE 2019-track
SPLASH 2018	Author of Refinement in object-sensitivity points-to analysis via slicing within the OOPSLA-track Author of Refinement in object-sensitivity points-to analysis via slicing within the Posters-track
* ICSE 2018 *	Committee Member in Program committee within the Technical Papers -track
ISSTA 2017	Author of Testing and Analysis of Web Applications using Page Models within the Technical Papers-track
SPLASH 2011	Author of Null dereference verification via over-approximated weakest pre-conditions analysis within the OOPSLA-track