EXPERIENCE
| CARVIEW |
Select Language
HTTP/2 200
date: Mon, 29 Dec 2025 14:22:33 GMT
server: Apache
last-modified: Tue, 11 Feb 2025 18:20:36 GMT
etag: "3d18-62de1e1a6a190-gzip"
accept-ranges: bytes
vary: Accept-Encoding
content-encoding: gzip
content-type: text/html
via: 2.0 alproxy
content-length: 3983
Clément Blaudeau
Clément Blaudeau
Hello! I’m a 3rd year PhD student (2021/2024) at Inria Paris (France), in the Cambium team. I’m working on formalizing and improving the typing of the OCaml module system, under the supervision of Didier Rémy and Gabriel Radanne. Contact me at surname dot name at inria.fr
RESEARCH INTERESTS
- Type systems
- Modularity
- Functional programming
- Initialization of recursive structures
- PEG parsing
- Proof assistants (Coq, PVS, Isabelle)
PROJECTS
02/2022 – Developing
Momega: OCaml modules, the F-omega way
I'm working on formalizing and improving the OCaml module system. Our approach is largely inspired by F-ing modules (Rossberg & al), which I extended with transparent existentials. Right now, we're focusing on complex type definitions (GADTs, extensible types, parametric types, variance, etc.) abstract signatures and recursive modules! See our OOPSLA2024 paper for more details
×
02/2022 – Developing
Momega: OCaml modules, the F-omega way
My PhD work on the OCaml module system.
I'm working on formalizing and improving the OCaml module system. Our approach is largely inspired by F-ing modules (Rossberg & al), which I extended with transparent existentials. Right now, we're focusing on complex type definitions (GADTs, extensible types, parametric types, variance, etc.) abstract signatures and recursive modules! See our OOPSLA2024 paper for more details
02/2024 – Developing
ZipML: OCaml modules, the syntactic way
In parallel, I'm also working on a syntactic type system, more aimed at real world implementations. It solves the signature avoidance problem with a new notion of zipper signatures, and has a bunch of nice features. You can see our draft (under revision) by clicking on the eye button bellow
×
02/2024 – Developing
ZipML: OCaml modules, the syntactic way
My PhD work on the OCaml module system.
In parallel, I'm also working on a syntactic type system, more aimed at real world implementations. It solves the signature avoidance problem with a new notion of zipper signatures, and has a bunch of nice features. You can see our draft (under revision) by clicking on the eye button bellow
02/2022 – Developing
Celsius project
Initialization of objects is a tricky subject in OOP: objects under initialization do not satisfy their class specification yet, and are thus unsafe to use. In this project I developed the Coq formalization of the Celsius language, a light typing annotation system that ensures safe initialization.
You can look at the OOPSLA 2022 paper or the associated Coq project. This work was done with Fengyun Liu, as an continuation of his thesis
×
02/2022 – Developing
Celsius project
A conceptual framework for safe object initialization.
Initialization of objects is a tricky subject in OOP: objects under initialization do not satisfy their class specification yet, and are thus unsafe to use. In this project I developed the Coq formalization of the Celsius language, a light typing annotation system that ensures safe initialization.
You can look at the OOPSLA 2022 paper or the associated Coq project. This work was done with Fengyun Liu, as an continuation of his thesis
RECENT PUBLICATIONS
[All Publications]-
Avoiding Signature Avoidance in ML Modules with ZippersBlaudeau, Clément, Rémy, Didier, and Radanne, GabrielProceedings of the ACM on Programming Languages, vol. POPL, Jan, 2025
-
Fulfilling OCaml Modules with TransparencyClement, Blaudeau, Rémy, Didier, and Radanne, GabrielProc. ACM Program. Lang., vol. 8, Apr, 2024
-
A Conceptual Framework for Safe Object Initialization: A Principled and Mechanized Soundness Proof of the Celsius ModelBlaudeau, Clément, and Liu, FengyunProc. ACM Program. Lang., vol. 6, Oct, 2022