Martin Bodin -

Registered user since Mon 25 Jun 2018

Name: Martin Bodin

Country: United Kingdom

Affiliation: Imperial College London

Personal website: https://www.doc.ic.ac.uk/~mbodin/

Contributions

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