Refinement Types for Incremental Computational Complexity. - Ezgi Çiçek; Deepak Garg 001; Umut A. Acar (ESOP, 2015)

A type theory for incremental computational complexity with control flow changes. - Ezgi Çiçek; Zoe Paraskevopoulou; Deepak Garg 001 (ICFP, 2016)

Relational cost analysis. - Ezgi Çiçek; Gilles Barthe; Marco Gaboardi; Deepak Garg 001; Jan Hoffmann 002 (POPL, 2017)

Relational cost analysis. - Ezgi Çiçek (2018)

Bidirectional type checking for relational properties. - Ezgi Çiçek; Weihao Qu; Gilles Barthe; Marco Gaboardi; Deepak Garg 001 (PLDI, 2019)

Static Resource Analysis at Scale (Extended Abstract). - Ezgi Çiçek; Mehdi Bouaziz; Sungkeun Cho; Dino Distefano (SAS, 2020)