conf.researchr.org / Clément Pit-Claudel
Registered user since Mon 4 Jan 2016
Name:Clément Pit-Claudel
Bio:
I’m an assistant professor at EPFL. Previously, I was a PhD candidate at MIT with Adam Chlipala and then a senior applied scientist at Amazon AWS. My research focuses on programming languages, compilers, and formal verification; my broader interests include systems engineering, hardware design languages, security, performance engineering, databases, and type theory.
Country:Switzerland
Affiliation:EPFL
Personal website: https://pit-claudel.fr/clement/
X (Twitter): https://x.com/cpitclaudel
GitHub: https://github.com/cpitclaudel
Research interests:Proof assistants, extensible compilers, programming languages, hardware design languages, optimization, databases, and type theory
Contributions
2025
PLDI
2024
ICFP
- PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
- Session Chair of Verification and Cost Analysis (part of ICFP Papers and Events)
- Author of A Coq Mechanization of JavaScript Regular Expression Semantics within the Artifact Evaluation-track
- Author of A Coq Mechanization of JavaScript Regular Expression Semantics within the ICFP Papers and Events-track
PLDI
- Author of Foundational Integration Verification of a Cryptographic Server within the PLDI Research Papers-track
- Author of Linear Matching of JavaScript Regular Expressions within the PLDI Research Papers-track
- Session Chair of Formal Verification 2 (part of PLDI Research Papers)
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Workshops Co-Chair in Organizing Committee