Yannick Zakowski

Registered user since Wed 27 Nov 2019

Name:Yannick Zakowski
Country:France
Affiliation:University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP
Research interests:Verified Compilation, Proof Assistants, Semantics, Program Logics

Contributions

SPLASH 2023 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
POPL 2023 Author of Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq within the POPL-track
ICFP 2022 Author of Formal Reasoning About Layered Monadic Interpreters within the ICFP Papers and Events-track
Committee Member in Program Committee within the ICFP Papers and Events-track
France in Evaluators within the Artifact Evaluation-track
ICFP 2021 Author of Modular, Compositional, and Executable Formal Semantics for LLVM IR within the Research Papers-track
CPP 2021 Session Chair of Semantics (part of CPP 2021)
Committee Member in Program Committee within the CPP 2021-track
CoqPL 2021 Invited Speaker in Invited speaker within the CoqPL-track
Invited Speaker of Verifying a compiler through equational means within the CoqPL-track
REMS-DeepSpec 2020 Author of Representing recursive and impure programs in Coq: from a toy assembly language to a modular formal semantics for LLVM IR within the REMS-DeepSpec 2020-track
CPP 2020 Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track
POPL 2020 Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track