Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Clement Pit-Claudel
conf.researchr.org general profile
ECOOP 2026 profile
ICFP 2026 profile
ICSE 2025 profile
POPL 2026 profile
Not registered as user
Name:
Clement Pit-Claudel
Affiliation:
EPFL
Contributions
2026
ICOOOLPS
Author of Automatic railroad diagrams for lexers, parsers, and more! (demo) within the ICOOOLPS 2026-track
CPP
Session Chair of Program verification (part of CPP 2026)
2025
ICSE
Author of Formally Verified Cloud-Scale Authorization within the Research Track-track
Share
x
Fri 11 Sep 15:02