• Sign in
  • Sign up
conf.researchr.org / Martin Bodin
  • PLDI 2020 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2021 profile
  • SPLASH 2018 profile
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

Share
xThu 26 May 10:45
using conf.researchr.org (v1.55.6)
Support page
Sign Up