Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ezgi Çiçek
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ESOP 2015 profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2019 profile
ICFP 2021 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
SPLASH 2019 profile
SPLASH 2020 profile
Registered user since Tue 17 Feb 2015
Name:
Ezgi Çiçek
Affiliation:
Facebook London
Contributions
2022
Infer
Committee Member in Organizing Committee within the Infer 2022-track
Committee Member in Organizing Committee within the Infer 2022-track
2021
ML
Committee Member in Program Committee within the ML 2021-track
Infer
Session Chair of Session 2 (part of Infer 2021)
Committee Member in Program Committee within the Infer 2021-track
2020
Static Analysis Symposium
Invited Speaker in Invited Speakers within the SAS-track
Invited Speaker of Static Resource Analysis at Scale within the SAS-track
LIVE
PC Member in Programme Committee within the LIVE 2020-track
Infer
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
2019
Incremental Computing
Committee Member in Program Committee within the IC 2019-track
ICFP
Committee Member in Program Committee within the Research Papers-track
PLDI
Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
DICE-FOPARA
PC Member in Program Committee within the DICE-FOPARA-track
POPL
Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track
2018
ECOOP
Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PEPM
Committee Member in Programme Committee within the PEPM 2018-track
2017
Incremental Computing
Committee Member in Program Committee within the IC 2017-track
POPL
Author of Relational Cost Analysis within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2016
ICFP
Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track
2015
ESOP
Author of Refinement Types for Incremental Computational Complexity within the ESOP-track
Share
x
Thu 21 Nov 12:12
