conf.researchr.org / Frédéric Besson

Not registered as user yet

Name: Frédéric Besson

Contributions

PriSC 2020Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
ESOP 2019Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
SCM 2017Presenter of Software Fault Isolation avec CompCert within the SCM-track
CoqPL 2017Author of ppsimpl: a reflexive Coq tactic for canonising goals within the CoqPL 2017-track