Ezgi Çiçek

Registered user since Tue 17 Feb 2015

Name:Ezgi Çiçek
Affiliation:Facebook London

Contributions

Infer 2023 Committee Member in Program Committee within the Infer 2023-track
Infer 2022 Committee Member in Organizing Committee within the Infer 2022-track
Committee Member in Organizing Committee within the Infer 2022-track
ML 2021 Committee Member in Program Committee within the ML 2021-track
Infer Practitioners 2021 Session Chair of Session 2 (part of Infer 2021)
Committee Member in Program Committee within the Infer 2021-track
SAS 2020 Invited Speaker in Invited Speakers within the SAS-track
Invited Speaker of Static Resource Analysis at Scale within the SAS-track
LIVE 2020 PC Member in Programme Committee within the LIVE 2020-track
Infer Practitioners 2020 PC Member of Static Performance Analysis within the Infer Practitioners 2020-track
Panelist of Infer team Q&A within the Infer Practitioners 2020-track
Session Chair of Session 3 (part of Infer Practitioners 2020)
Committee Member in Program Committee within the Infer Practitioners 2020-track
IC 2019 Committee Member in Program Committee within the IC 2019-track
ICFP 2019 Committee Member in Program Committee within the Research Papers-track
PLDI 2019 Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
DICE-FOPARA 2019 PC Member in Program Committee within the DICE-FOPARA-track
POPL 2019 Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track
ECOOP 2018 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PEPM 2018 Committee Member in Programme Committee within the PEPM 2018-track
IC 2017 Committee Member in Program Committee within the IC 2017-track
POPL 2017 Author of Relational Cost Analysis within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2016 Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track
ESOP 2015 Author of Refinement Types for Incremental Computational Complexity within the ESOP-track