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.
Talks (Updated since Oct 2016)
- [ Upcoming! May 2nd 2017] QuickChick: Testing meets proving, Princeton Weekly PL Seminar, 12:30pm, CS building room 402
- [Dec 28th 2016] Synthesizing Correct by Construction Generators, Annual PL Seminar at NTUA, Greece
- [Oct 24th 2016] PhD General Examination: Certified Closure Conversion for Certicoq
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
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.
- Program Committee, OCaml 2017
- Artifact Evaluation Committee, POPL 2017
My CV can be found here.