Yannick Zakowski

News

/!\ Since 2025 April 1st, I have moved to Inria Paris, as part of the Cambium research group /!\

Drafts and Papers

New draft: Tail Modulo Async-Await
Joint work with Emma Nardino, Ludovic Henrio, and Gabriel Radanne

New draft: Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Rocq
Joint work with Nicolas Chappe, Paul He, Ludovic Henrio, Eleftherios Ioannidis, and Steve Zdancewic

Accepted at ESOP'25: "An abstract, certified account of operational game semantics".
Joint work with Peio Borthelle, Tom Hirschowitz and Guilhem Jaber

Accepted at CPP'25: "A concurrency model based on monadic interpreters: Executable semantics for a concurrent subset of LLVM IR".
Joint work with Nicolas Chappe and Ludovic Henrio

Services

I will serve as co-organizer for the JFLA 2026 and 2027

I will serve as conference chair for CPP 2026 and 2027

I will serve as Artifact Evaluation Chair for ECOOP 2025 and 2026

I will serve as web-chair for POPL 2025 and 2026

Students

I have the great pleasure to work with brilliant PhD students!

Current:

• Emma Nardino (co-advised with Ludovic Henrio)

Past:

• Peio Borthelle defended on 03/12/25 (co-advised with Tom Hirschowitz and Guilhem Jaber)
• Nicolas Chappe defended on 10/22/24 (co-advised with Ludovic Henrio)

Séminaire SIESTE

Le programme du séminaire SIESTE de l'année 2024-2025 est accessible à cette page.