conf.researchr.org / Yannick Zakowski
Registered user since Wed 27 Nov 2019
Name:Yannick Zakowski
Country:France
Affiliation:Inria
Personal website: https://perso.ens-lyon.fr/yannick.zakowski/
Research interests:Verified Compilation, Proof Assistants, Semantics, Program Logics
Contributions
2025
2024
ICFP
- Author of Abstract Interpreters: A Monadic Approach to Modular Verification within the ICFP Papers and Events-track
- Author of A Two-Phase Infinite/Finite Low-Level Memory Model within the Artifact Evaluation-track
- Author of Abstract Interpreters: a Monadic Approach to Modular Verification within the Artifact Evaluation-track
- Author of A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction within the ICFP Papers and Events-track
- Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track