Registered user since Wed 29 Jun 2016

Name:Zoe Paraskevopoulou
Country:United States
Affiliation:Northeastern University
Personal website:https://zoep.github.io/

Contributions

OCaml 2022 Committee Member in Program Committee within the OCaml 2022-track
ISMM 2022 Committee Member in Program Committee within the ISMM 2022-track
ICFP 2022 Workshops Co-Chair in Organizing Committee
PLDI 2022 Author of Computing Correctly with Inductive Relations within the PLDI-track
PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
SPLASH 2021 Session Chair of Specification Synthesis (part of OOPSLA)
Author of Compositional Optimizations for CertiCoq within the SIGPLAN Papers-track
Author of Compiling with Continuations, Correctly within the OOPSLA-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
ICFP 2021 Workshops Co-Chair in Organizing Committee
Co-chair in Selection Committee within the Tutorials-track
Author of Compositional Optimizations for CertiCoq within the Research Papers-track
DeepSpec 2019 Presenter of Closure Conversion is Safe for Space within the DeepSpec 2019-track
PLMW @ ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track
ML 2019 Committee Member in Program Committee within the ML 2019-track
Session Chair of Session 3 (part of ML 2019)
ESOP 2019 Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track
ML 2018 Author of ML as a Tactic Language, Again within the ML 2018-track
TyDe 2018 Committee Member in Program Committee within the TyDe 2018-track
ICFP 2019 Author 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 2017 Committee Member in Program Committee within the OCaml 2017-track
POPL 2018 Author 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 2017 Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track
POPL 2017 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PPS 2016 Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
ICFP 2016 Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track