Ezgi Çiçek

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 6

Top Topics

Computational Complexity

Workflow Processes

Relational Data

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano
Static Resource Analysis at Scale (Extended Abstract). SAS (2020)
Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
Bidirectional type checking for relational properties. PLDI (2019)
Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
Bidirectional Type Checking for Relational Properties. CoRR (2018)
Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
Relational cost analysis. POPL (2017)
Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg
A type theory for incremental computational complexity with control flow changes. ICFP (2016)
Ezgi Çiçek, Deepak Garg, Umut A. Acar
Refinement Types for Incremental Computational Complexity. ESOP (2015)