Raghavan Komondoor

Registered user since Sun 18 Jun 2017

Name:Raghavan Komondoor
Country:India
Affiliation:IISc Bengaluru

Contributions

ISSTA 2022 Programme Committee in Program Committee within the Technical Papers-track
ESEC/FSE 2021 Author of GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces within the Demonstrations-track
ASE 2020 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 2021 Committee Member in Program Committee within the Technical Track-track
ASE 2019 Session Chair of Verification and Bug Detection (part of Papers)
Committee Member in Program Committee within the Research Papers-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 2019 Committee Member in Program Committee within the Workshops-track
ISSTA 2017 Author of Testing and Analysis of Web Applications using Page Models within the Technical Papers-track
* ICSE 2018 * Committee Member in Program committee within the Technical Papers -track
SPLASH 2011 Author of Null dereference verification via over-approximated weakest pre-conditions analysis within the OOPSLA-track