Martin Bodin
Martin Bodin
Imperial College London
Verified email at ens-lyon.org - Homepage
TitleCited byYear
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014
932014
Circular coinduction in Coq using bisimulation-up-to techniques
J Endrullis, D Hendriks, M Bodin
International Conference on Interactive Theorem Proving, 354-369, 2013
222013
Certified abstract interpretation with pretty-big-step semantics
M Bodin, T Jensen, A Schmitt
Proceedings of the 2015 Conference on Certified Programs and Proofs, 29-40, 2015
132015
Jscert: Certified javascript
M Bodin, A Chargueraud, D Filaretti, P Gardner, S Maffeis, ...
72012
Modular abstractions of reactive nodes using disjunctive invariants
D Monniaux, M Bodin
Asian Symposium on Programming Languages and Systems, 19-33, 2011
72011
Pretty-big-step-semantics-based certified abstract interpretation (preliminary version)
M Bodin, T Jensen, A Schmitt
arXiv preprint arXiv:1309.5149, 2013
32013
A trustworthy mechanized formalization of R
M Bodin, T Diaz, É Tanter
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic …, 2018
22018
Certified semantics and analysis of JavaScript
M Bodin
Rennes 1, 2016
22016
A Coq Formalisation of a Core of R
M Bodin
CoqPl, 2018
12018
A Certified JavaScript Interpreter
M Bodin, A Schmitt
12013
Skeletal semantics and their interpretations
M Bodin, P Gardner, T Jensen, A Schmitt
Proceedings of the ACM on Programming Languages 3 (POPL), 44, 2019
2019
Skeletal Semantics and their Interpretations
M Bodin, P Gardner, T Jensen, A Schmitt
arXiv preprint arXiv:1809.09749, 2018
2018
An Abstract Separation Logic for Interlinked Extensible Records
M Bodin, T Jensen, A Schmitt
2016
Pretty-big-step-semantics-based Certified Abstract Interpretation
M Bodin, T Jensen, A Schmitt
2014
Construction d’une structure où P= NP
M Bodin
2011
Détection de modes de fonctionnement d’un programme LUSTRE
M Bodin
2010
for Interlinked Extensible Records
M Bodin, T Jensen, A Schmitt
Proving Stream Equalities in Coq
M Bodin
Sequentializing Proof Nets using Structures
M Bodin
Sequentializing nets to structure proofs
M Bodin
The system can't perform the operation now. Try again later.
Articles 1–20