Martin Bodin -

Registered user since Mon 25 Jun 2018

Name:Martin Bodin

Country:France

Affiliation:Inria

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

Contributions

2027

CPP

PC Member in Program Committee within the CPP 2027-track

2021

POPL

Committee Member in Selection Committee within the Student Research Competition-track

2020

DeepSpec

Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track

2019

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of Skeletal Semantics and their Interpretations within the Research Papers-track

2018

DLS

Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track

CoqPL

Author of A Coq Formalisation of a Core of R within the -track