Me

About me

I am a PhD student in the programming languages group at Princeton University, working with Prof. Andrew Appel. I am currently working on CertiCoq and QuickChick projects. I obtained my Master’s degree from ENS Cachan (Master Parisien de Recherche en Informatique) and my diploma (5-year engineering degree) from National Technical University of Athens.

I was a research intern at Max Planck Institute of Software Systems (March - August 2015) and INRIA (April - September 2014). I was advised by Deepak Garg (MPI-SWS) and Cătălin Hriţcu (INRIA).

Talks (Updated since Oct 2016)

Publications

Ezgi Çiçek, Zoe Paraskevopoulou, and Deepak Garg. A type theory for incremental computational complexity with control flow changes. ACM SIGPLAN International Conference on Functional Programming (ICFP), September 2016. paper, appendix with proofs

Zoe Paraskevopoulou, Cătălin Hriţcu, Maxime Dénès, Leonidas Lampropoulos, and Benjamin C. Pierce. Foundational Property-Based Testing. In 6th International Conference on Interactive Theorem Proving (ITP), August 2015. paper, slides

Workshops

CertiCoq: A verified compiler for Coq (Extended Abstract). Abhishek Anand, Andrew Appel, Greg Morrisett, Zoe Paraskevopoulou, Randy Pollack, Olivier Savary Belanger, Matthieu Sozeau, and Matthew Weaver. CoqPL 2017.

Making our Own Luck: A Language for Random Generators (Extended Abstract). Leonidas Lampropoulos, Benjamin C. Pierce, Cătălin Hriţcu, John Hughes, Zoe Paraskevopoulou and Li-yao Xia. PPS 2016

A Coq Framework For Verified Property-Based Testing (Extended Abstract). Zoe Paraskevopoulou, Cătălin Hriţcu, Maxime Dénès, Leonidas Lampropoulos and Benjamin C. Pierce. CoqPL 2015.

QuickChick: Property-Based Testing for Coq. Maxime Dénès, Cătălin Hriţcu, Leonidas Lampropoulos, Zoe Paraskevopoulou and Benjamin C. Pierce. The 6th Coq Workshop. July 2014.

Theses

Master’s Thesis
Self-Adjusting Computation for CostIt, Supervised by Deepak Garg
Thesis, Slides

Diploma Thesis
A Coq Framework For Verified Property-Based Testing, Supervised by Cătălin Hriţcu
Thesis, Slides

Service

Curriculum Vitae

My CV can be found here.