Clément Chavanon

According to our database, Clément Chavanon authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code.

Clément Chavanon, Henrik A. Karlsson, Frédéric Besson, Sandrine Blazy, Roberto Guanciale

Proceedings of the 27th ACM SIGPLAN/SIGBED International Conference on Languages, 2026

2024

PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams.

Clément Chavanon, Frédéric Besson, Tristan Ninet

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024