Ezgi Çiçek

According to our database, Ezgi Çiçek authored at least 6 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Static Resource Analysis at Scale (Extended Abstract).

Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano

Proceedings of the Static Analysis - 27th International Symposium, 2020

2019

Bidirectional type checking for relational properties.

Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Relational cost analysis.

Ezgi Çiçek

PhD thesis, 2018

2017

Relational cost analysis.

Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

A type theory for incremental computational complexity with control flow changes.

Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Refinement Types for Incremental Computational Complexity.

Ezgi Çiçek, Deepak Garg, Umut A. Acar

Proceedings of the Programming Languages and Systems, 2015