Jean Pichon-Pharabod -

Registered user since Mon 24 Apr 2023

Name:Jean Pichon-Pharabod

Country:Denmark

Affiliation:Aarhus University

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

Contributions

2026

CPP

Committee Member in Program Committee within the CPP 2026-track

2025

PLDI

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

CPP

Author of CertiCoq-Wasm: A verified WebAssembly backend for CertiCoq within the CPP 2025-track

2024

SPLASH

Author of Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly within the OOPSLA 2024-track

CoqPL

Author of CertiCoq-Wasm: Verified compilation from Coq to WebAssembly within the CoqPL 2024-track

POPL

POCL

Author of Proving capability safety in the presence of indirect sentries within the POCL 2024-track

2023

PLDI

2022

PLDI

Author of Islaris: Verification of Machine Code Against Authoritative ISA Semantics within the PLDI-track