conf.researchr.org / Martin Bodin
Martin Bodin

Registered user since Mon 25 Jun 2018

Name: Martin Bodin

Country: France

Affiliation: Inria

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

Contributions

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