• Sign in
  • Sign up
conf.researchr.org / Cédric Fournet
  • 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
xThu 26 May 23:08
using conf.researchr.org (v1.55.6)
Support page
Sign Up