conf.researchr.org / Cédric Fournet
Not registered as user yet
Name: Cédric Fournet
Affiliation: Microsoft Research
Personal website: http://research.microsoft.com/en-us/um/people/fournet/
All Activities
- Committee Member in Program Committee for PriSC 2018
- Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017
- Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track in POPL 2016
- Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track in POPL 2018
- Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
- Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track in CPP 2018
- Committee Member in Program Committee for ESOP 2015
- Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
- Author of Building Secure SGX Enclaves using F*, C/C++ and X64 within the PriSC 2018-track in PriSC 2018
- Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track in POPL 2018