Martin Bodin

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 4

Top Topics

Preliminary Version

Network Connection

Abstract Interpretation

Top Venues

Proc. ACM Program. Lang.

Festschrift for Dave Schmidt

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner
Two Mechanisations of WebAssembly 1.0. FM (2021)
Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt
Skeletal semantics and their interpretations. Proc. ACM Program. Lang. 3 (POPL) (2019)
Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt
Skeletal Semantics and their Interpretations. CoRR (2018)
Martin Bodin, Tomás Diaz, Éric Tanter
A trustworthy mechanized formalization of R. DLS (2018)
Martin Bodin, Thomas P. Jensen, Alan Schmitt
Certified Abstract Interpretation with Pretty-Big-Step Semantics. CPP (2015)
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
A trusted mechanised JavaScript specification. POPL (2014)
Martin Bodin, Thomas P. Jensen, Alan Schmitt
Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA (2014)
Martin Bodin, Thomas P. Jensen, Alan Schmitt
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). Festschrift for Dave Schmidt (2013)
Jörg Endrullis, Dimitri Hendriks, Martin Bodin
Circular Coinduction in Coq Using Bisimulation-Up-To Techniques. ITP (2013)
David Monniaux, Martin Bodin
Modular Abstractions of Reactive Nodes using Disjunctive Invariants CoRR (2011)
David Monniaux, Martin Bodin
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants. APLAS (2011)