A verified packrat parser interpreter for parsing expression grammars. - Clement Blaudeau; Natarajan Shankar (CPP, 2020)

A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model. - Clement Blaudeau; Fengyun Liu (Proc. ACM Program. Lang., 2022)

Fulfilling OCaml Modules with Transparency. - Clement Blaudeau; Didier Rémy; Gabriel Radanne (Proc. ACM Program. Lang., 2024)

Retrofitting and strengthening the ML module system. (Mise à niveau et renforcement du systeme de module ML). - Clement Blaudeau (2024)

Avoiding Signature Avoidance in ML Modules with Zippers. - Clement Blaudeau; Didier Rémy; Gabriel Radanne (Proc. ACM Program. Lang., 2025)