Follow
Martin Bodin
Martin Bodin
Inria
Verified email at ens-lyon.org - Homepage
Title
Cited by
Cited by
Year
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
1752014
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
522019
Circular coinduction in Coq using bisimulation-up-to techniques
J Endrullis, D Hendriks, M Bodin
International Conference on Interactive Theorem Proving, 354-369, 2013
272013
Two mechanisations of WebAssembly 1.0
C Watt, X Rao, J Pichon-Pharabod, M Bodin, P Gardner
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
252021
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
202015
A trustworthy mechanized formalization of R
M Bodin, T Diaz, É Tanter
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic …, 2018
132018
Modular abstractions of reactive nodes using disjunctive invariants
D Monniaux, M Bodin
Asian Symposium on Programming Languages and Systems, 19-33, 2011
102011
Jscert: Certified javascript
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
72012
An introduction to combustion:[M]
J Endrullis, D Hendriks, M Bodin
WCB/McGraw-Hill, 2000
62000
A Certified JavaScript Interpreter
M Bodin, A Schmitt
JFLA-Journées francophones des langages applicatifs, 2013
52013
Certified semantics and analysis of JavaScript
M Bodin
Université de Rennes, 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 Coq Formalisation of a Core of R
M Bodin
CoqPL, 2018
22018
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
22014
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
Un jeu de plateau pour comprendre la dualité en logique
E Beffara, M Bodin
Adjectif: analyses et recherches sur les TICE 2024 (1), 2024
2024
Instrumentation de l'association de registres sémiotiques dans un assistant de preuve
E Beffara, M Bodin, N Mandran, R Molinier
EIAH2023-11ème Conférence sur les Environnements Informatiques pour l …, 2023
2023
Effectful Programming across Heterogeneous Computations-Work in Progress
J Abou-Samra, Y Zakowski, M Bodin
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 7-23, 2023
2023
Construction d’une structure où P= NP
M Bodin
2011
Détection de modes de fonctionnement d’un programme LUSTRE
M Bodin
2010
The system can't perform the operation now. Try again later.
Articles 1–20