BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: =Ccedil=i=ccedil=ek:Ezgi

Contributed to:

ESOP 20152015
POPL 20172017
PLDI 20192019

Wrote 3 papers:

ESOP-2015-CicekGA #complexity #incremental #refinement
Refinement Types for Incremental Computational Complexity (, DG, UAA), pp. 406–431.
POPL-2017-CicekBG0H #cost analysis #relational
Relational cost analysis (, GB, MG, DG0, JH0), pp. 316–329.
PLDI-2019-CicekQBG0 #bidirectional #relational #type checking
Bidirectional type checking for relational properties (, WQ, GB, MG, DG0), pp. 533–547.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.