1. A Conceptual Framework for Safe Object Initialization: A Principled and Mechanized Soundness Proof of the Celsius Model
    Blaudeau, Clément, and Liu, Fengyun
    Proc. ACM Program. Lang., vol. 6, Oct, 2022


  1. OCaml modules: formalization, insights and improvements
    Blaudeau, Clément
    Master's thesis, École polytechnique fédérale de Lausanne, pp. 67, Sep, 2021


  1. A Verified Packrat Parser Interpreter for Parsing Expression Grammars
    Blaudeau, Clement, and Shankar, Natarajan
    In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 3–17, 2020