Zoe Paraskevopoulou -

Registered user since Wed 29 Jun 2016

Name:Zoe Paraskevopoulou

Country:Greece

Affiliation:National Technical University of Athens

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

Contributions

2026

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

CPP

Committee Member in Program Committee within the CPP 2026-track

2025

ML

Committee Member in Program Committee within the ML Family Workshop 2025-track

2024

ICFP

PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

PLDI

Author of RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly within the PLDI Research Papers-track

2023

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

CoqPL

Committee Member in Program Committee within the CoqPL 2023-track

2022

HOPE

Author of Enabling Safe Shared-Memory Interoperability in WebAssembly within the HOPE 2022-track

ICFP

OCaml

Committee Member in Program Committee within the OCaml 2022-track

PLDI

Author of Computing Correctly with Inductive Relations within the PLDI-track

ISMM

Committee Member in Program Committee within the ISMM 2022-track

CPP

Committee Member in Program Committee within the CPP 2022-track

PEPM

Committee Member in Program Committee within the PEPM 2022-track

2021

SPLASH

ICFP

PriSC

Committee Member in Program Committee within the PriSC 2021-track

2019

PLMW

ICFP

ML

DeepSpec

Presenter of Closure Conversion is Safe for Space within the DeepSpec 2019-track

ESOP

Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track

2018

ML

Author of ML as a Tactic Language, Again within the ML 2018-track

TyDe

Committee Member in Program Committee within the TyDe 2018-track

POPL

2017

OCaml

Committee Member in Program Committee within the OCaml 2017-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

CoqPL

Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track

2016

ICFP

Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track

LAFI

Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track