Martin Bodin
Martin Bodin
Imperial College London
Adresse e-mail validée de ens-lyon.org - Page d'accueil
Titre
Citée par
Citée par
Année
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
1092014
Circular coinduction in Coq using bisimulation-up-to techniques
J Endrullis, D Hendriks, M Bodin
International Conference on Interactive Theorem Proving, 354-369, 2013
242013
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
Skeletal semantics and their interpretations
M Bodin, P Gardner, T Jensen, A Schmitt
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
112019
Modular abstractions of reactive nodes using disjunctive invariants
D Monniaux, M Bodin
Asian Symposium on Programming Languages and Systems, 19-33, 2011
112011
Jscert: Certified javascript
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
72012
A trustworthy mechanized formalization of R
M Bodin, T Diaz, É Tanter
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic …, 2018
52018
Certified semantics and analysis of JavaScript
M Bodin
Université Rennes 1, 2016
42016
Pretty-big-step-semantics-based certified abstract interpretation (preliminary version)
M Bodin, T Jensen, A Schmitt
arXiv preprint arXiv:1309.5149, 2013
42013
A Certified JavaScript Interpreter
M Bodin, A Schmitt
JFLA-Journées francophones des langages applicatifs, 2013
32013
A Coq Formalisation of a Core of R
M Bodin
CoqPL, 2018
22018
An Abstract Separation Logic for Interlinked Extensible Records
M Bodin, T Jensen, A Schmitt
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), 2016
12016
Pretty-big-step-semantics-based Certified Abstract Interpretation
M Bodin, T Jensen, A Schmitt
JFLA-25ème Journées Francophones des Langages Applicatifs-2014, 2014
12014
Construction d’une structure où P= NP
M Bodin
2011
Détection de modes de fonctionnement d’un programme LUSTRE
M Bodin
2010
Dossier de candidature au poste de Maître de conférences
M Bodin
Proving Stream Equalities in Coq
M Bodin
Sequentializing Proof Nets using Structures
M Bodin
Sequentializing nets to structure proofs
M Bodin
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–19