An Optimised Flow for Futures: From Theory to Practice. - Nicolas Chappe; Ludovic Henrio; Amaury Maillé; Matthieu Moy; Hadrien Renaud (Art Sci. Eng. Program., 2022)

Fic WebBoard: A Playful and Collaborative Learning Platform Built for All People and All Programming Languages. - Eddy Caron; Nicolas Chappe (FIE, 2023)

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. - Nicolas Chappe; Paul He; Ludovic Henrio; Yannick Zakowski; Steve Zdancewic (Proc. ACM Program. Lang., 2023)

A Concurrency Model Based on Monadic Interpreters : Executable semantics for a concurrent subset of LLVM IR. (Un modèle de concurrence fondé sur les interprètes monadiques : Sémantique exécutable pour un sous-ensemble concurrent de LLVM IR). - Nicolas Chappe (2024)

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR. - Nicolas Chappe; Ludovic Henrio; Yannick Zakowski (CPP, 2025)