Clement Blaudeau

According to our database, Clement Blaudeau authored at least 2 papers between 2020 and 2022.

Collaborative distances:

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

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