Clement Blaudeau

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Dependency Structure

Natural Language Parser

Top Venues

Proc. ACM Program. Lang.

Publications

Clement Blaudeau, Didier Rémy, Gabriel Radanne
Fulfilling OCaml Modules with Transparency. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Clement Blaudeau, Fengyun Liu
A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Clement Blaudeau, Natarajan Shankar
A Verified Packrat Parser Interpreter for Parsing Expression Grammars. CoRR (2020)
Clement Blaudeau, Natarajan Shankar
A verified packrat parser interpreter for parsing expression grammars. CPP (2020)