Martin Bodin

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