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
2024
ICFP
- Abstract Interpreters: A Monadic Approach to Modular Verification
- A Two-Phase Infinite/Finite Low-Level Memory Model
- Abstract Interpreters: a Monadic Approach to Modular Verification
- A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction
- Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track
ICFP 2024-profile
View general profile
View general profile