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

Not registered as user yet

Name:Frédéric Besson

Contributions

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