Yannick Zakowski

ORCID

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Venues

Proc. ACM Program. Lang.

CoRR

ITP

SAC

École Normale Supérieur de Rennes, France (PHD)

Education History

École Normale Supérieur de Rennes, France

PHD

Publications

Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic
A Two-Phase Infinite/Finite Low-Level Memory Model. CoRR (2024)
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. Proc. ACM Program. Lang. 7 (POPL) (2023)
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. CoRR (2022)
Irene Yoon, Yannick Zakowski, Steve Zdancewic
Formal reasoning about layered monadic interpreters. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic
Modular, compositional, and executable formal semantics for LLVM IR. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
Interaction trees: representing recursive and impure programs in Coq. Proc. ACM Program. Lang. 4 (POPL) (2020)
Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic
An equational theory for weak bisimulation via generalized parameterized coinduction. CPP (2020)
Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic
An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction. CoRR (2020)
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress). CoRR (2019)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. 63 (2) (2019)
Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. SAC (2018)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP (2017)

Yannick Zakowski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yannick Zakowski