Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cédric Fournet
conf.researchr.org general profile
ESOP 2015 profile
ICFP 2016 profile
ICFP 2017 profile
PLDI 2026 profile
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2023 profile
Not registered as user
Name:
Cédric Fournet
Affiliation:
Microsoft Research
Personal website:
http://research.microsoft.com/en-us/um/people/fournet/
Contributions
2026
PLDI
Author of [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software within the PLDI Research Papers-track
2023
CPP
Author of ASN1*: Provably Correct, Non-Malleable Parsing for ASN.1 DER within the CPP 2023-track
2020
POPL
Committee Member in Program Committee within the Research Papers-track
2019
PriSC
Committee Member in Program Committee within the PriSC 2019-track
2018
CPP
Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track
POPL
Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track
Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track
PriSC
Committee Member in Program Committee within the PriSC 2018-track
Author of Building Secure SGX Enclaves using F*, C/C++ and X64 within the PriSC 2018-track
2017
ICFP
Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track
HOPE
Author of Recalling a Witness within the HOPE 2017-track
2016
ML Family Workshop
Author of Extracting from F* to C: a progress report within the ML-track
POPL
Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track
2015
ESOP
Committee Member in Program Committee within the ESOP-track
Share
x
Thu 23 Apr 05:24