Travelled to:1 × United Kingdom
Collaborated with:G.Barthe M.Gaboardi D.G.0001 D.Garg U.A.Acar J.H.0002 Weihao Qu
Talks about:relat (2) type (2) increment (1) properti (1) bidirect (1) complex (1) analysi (1) comput (1) refin (1) check (1)
Person: Ezgi Çiçek
DBLP: =Ccedil=i=ccedil=ek:Ezgi
Contributed to:
2015
2017
2019Wrote 3 papers:
- ESOP-2015-CicekGA #complexity #incremental #refinement
- Refinement Types for Incremental Computational Complexity (EÇ, DG, UAA), pp. 406–431.
- POPL-2017-CicekBG0H #cost analysis #relational
- Relational cost analysis (EÇ, GB, MG, DG0, JH0), pp. 316–329.
- PLDI-2019-CicekQBG0 #bidirectional #relational #type checking
- Bidirectional type checking for relational properties (EÇ, WQ, GB, MG, DG0), pp. 533–547.