An equational theory for weak bisimulation via generalized parameterized coinduction Y Zakowski, P He, CK Hur, S Zdancewic Proceedings of the 9th ACM SIGPLAN ...
Personal details · ZAKOWSKI Yannick · Nationality : French, born in Dijon, March 19 1990 · Address : 14, rue du Louis d'Or, 35000 Rennes, France · E-Mail: ...
Jun 4, 2024 · List of computer science publications by Yannick Zakowski.
Subject Areas: Denotational semantics, Program verification, Concurrency, Formal software verification, Software libraries and repositories, Compilers, Logic ...
Yannick Zakowski's 15 research works with 163 citations, including: A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, ...
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 ...
Name:Yannick Zakowski ; Country:France ; Affiliation:Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668 ; Personal website: https://perso.ens-lyon.fr/yannick.