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
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
Not registered as user yet
Name:
Cédric Fournet
Affiliation:
Microsoft Research
Personal website:
http://research.microsoft.com/en-us/um/people/fournet/
Contributions
POPL 2020
Committee Member in Program Committee within the Research Papers-track
PriSC 2019
Committee Member in Program Committee within the PriSC 2019-track
PriSC 2018
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
CPP 2018
Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track
HOPE 2017
Author of Recalling a Witness within the HOPE 2017-track
ICFP 2017
Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track
POPL 2018
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
ML 2016
Author of Extracting from F* to C: a progress report within the ML-track
POPL 2016
Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track
ESOP 2015
Committee Member in Program Committee within the ESOP-track
Share
x
Thu 26 May 23:08