Ezgi Çiçek
Ezgi Çiçek
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Relational Cost Analysis
E Çiçek
Max Planck Institute for Software Systems, 2018
542018
Relational Cost Analysis
E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann
44th Symposium on Principles of Programming Languages (POPL’17) 2017, 0
54*
Refinement types for incremental computational complexity
E Çiçek, D Garg, U Acar
European Symposium on Programming Languages and Systems, 406-431, 2015
312015
A type theory for incremental computational complexity with control flow changes
E Çiçek, Z Paraskevopoulou, D Garg
ACM SIGPLAN Notices 51 (9), 132-145, 2016
182016
Bidirectional type checking for relational properties
E Çiçek, W Qu, G Barthe, M Gaboardi, D Garg
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
72019
A type theory for incremental computational complexity with control flow changes
D Garg, E Çiçek, Z Paraskevopoulou
2016
Refinement Types for Incremental Computational Complexity
D Garg, E Çiçek, UA Acar
2015
Language Support for Efficient Dynamic Computation
UA Acar, E Cicek, D Garg
Carnegie Mellon University, 2013
2013
Refinement Types for Incremental Computational Complexity (Technical Appendix)
E Çiçek, D Garg, U Acar
A Type Theory for Incremental Computational Complexity with Control Flow Changes (Technical Appendix)
E Çiçek, Z Paraskevopoulou, D Garg
Cost-analysis: How do monads and comonads differ?
E Ciçek, M Gaboardi, D Garg
POPL: G: Refinement Types for Incremental Computational Complexity
E Çiçek
The system can't perform the operation now. Try again later.
Articles 1–12