• Sign in
  • Sign up
conf.researchr.org / Clément Chavanon
  • PLDI 2026 profile
  • POPL 2024 profile
  • POPL 2026 profile

Registered user since Mon 27 Nov 2023

Name:Clément Chavanon
Affiliation:Inria, Univ Rennes, CNRS, IRISA
Personal website: https://clementchavanon.pages.dev

Contributions

2026

LCTES

  • Author of Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code within the LCTES 2026-track

POPL

  • Student Volunteer in Student Volunteers

2024

CPP

  • Author of PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams within the CPP 2024-track
Share
xThu 17 Sep 02:01
using conf.researchr.org (v1.76.0)
Support page
Sign Up