Martin Bodin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2011–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FM | Two Mechanisations of WebAssembly 1.0. | Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner |
| 2018 | DLS | A trustworthy mechanized formalization of R. | Martin Bodin, Toms Diaz, ric Tanter |
| 2015 | CPP | Certified Abstract Interpretation with Pretty-Big-Step Semantics. | Martin Bodin, Thomas P. Jensen, Alan Schmitt |
| 2014 | POPL | A trusted mechanised JavaScript specification. | Martin Bodin, Arthur Charguraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith |
| 2013 | ITP | Circular Coinduction in Coq Using Bisimulation-Up-To Techniques. | Jrg Endrullis, Dimitri Hendriks, Martin Bodin |
| 2011 | APLAS | Modular Abstractions of Reactive Nodes Using Disjunctive Invariants. | David Monniaux, Martin Bodin |