Martin Bodin -

Registered user since Mon 25 Jun 2018

Name:Martin Bodin

Country:France

Affiliation:Inria

Personal website:https://mbodin.github.io/

Contributions

POPL 2021	Committee Member in Selection Committee within the Student Research Competition-track
REMS-DeepSpec 2020	Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
POPL 2019	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Author of Skeletal Semantics and their Interpretations within the Research Papers-track
DLS 2018	Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track
CoqPL 2018	Author of A Coq Formalisation of a Core of R within the -track