Registered user since Wed 29 Jun 2016

Name: Zoe Paraskevopoulou

Country: United States

Affiliation: Princeton University

Personal website: https://zoep.github.io/

Contributions

DeepSpec 2019Presenter of Closure Conversion is Safe for Space within the DeepSpec 2019-track
PLMW @ ICFP 2019Committee Member in Speakers within the PLMW @ ICFP 2019-track
ML 2019Committee Member in Program Committee within the ML 2019-track
ESOP 2019Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track
ML 2018Author of ML as a Tactic Language, Again within the ML 2018-track
TyDe 2018Committee Member in Program Committee within the TyDe 2018-track
ICFP 2019Author of Closure Conversion is Safe for Space within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
Session Chair of Types (part of Research Papers)
OCaml 2017Committee Member in Program Committee within the OCaml 2017-track
POPL 2018Author of Generating Good Generators for Inductive Relations within the Artifact Evaluation-track
Author of Generating Good Generators for Inductive Relations within the Research Papers-track
CoqPL 2017Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track
POPL 2017Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PPS 2016Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
ICFP 2016Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track