Martin Bodin

According to our database, Martin Bodin authored at least 10 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Two Mechanisations of WebAssembly 1.0.

Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

Proceedings of the Formal Methods - 24th International Symposium, 2021

2019

Skeletal semantics and their interpretations.

Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt

Proc. ACM Program. Lang., 2019

2018

A trustworthy mechanized formalization of R.

Martin Bodin, Tomás Diaz, Éric Tanter

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2016

Certified semantics and analysis of JavaScript. (Sémantique et analyse certifiée de JavaScript).

Martin Bodin

PhD thesis, 2016

2015

Certified Abstract Interpretation with Pretty-Big-Step Semantics.

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

A trusted mechanised JavaScript specification.

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Pretty-big-step-semantics-based Certified Abstract Interpretation.

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version).

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the Semantics, 2013

Circular Coinduction in Coq Using Bisimulation-Up-To Techniques.

Jörg Endrullis, Dimitri Hendriks, Martin Bodin

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

Modular Abstractions of Reactive Nodes Using Disjunctive Invariants.

David Monniaux, Martin Bodin

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011