Publications

2024

  1. Fulfilling OCaml Modules with Transparency
    Clement, Blaudeau, Rémy, Didier, and Radanne, Gabriel
    Proc. ACM Program. Lang., vol. 8, Apr, 2024

2022

  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

2021

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

2020

  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