Clement Blaudeau

According to our database, Clement Blaudeau authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Fulfilling OCaml Modules with Transparency.

Clement Blaudeau, Didier Rémy, Gabriel Radanne

Proc. ACM Program. Lang., 2024

2022

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

2020

A verified packrat parser interpreter for parsing expression grammars.

Clement Blaudeau, Natarajan Shankar

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020