Suivre
Martin Bodin
Martin Bodin
Inria
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
1412014
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
282019
Circular coinduction in Coq using bisimulation-up-to techniques
J Endrullis, D Hendriks, M Bodin
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013
252013
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
222015
Modular abstractions of reactive nodes using disjunctive invariants
D Monniaux, M Bodin
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting …, 2011
142011
A trustworthy mechanized formalization of R
M Bodin, T Diaz, É Tanter
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic …, 2018
102018
Jscert: Certified javascript
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
82012
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
72021
An introduction to combustion:[M]
J Endrullis, D Hendriks, M Bodin
WCB/McGraw-Hill, 2000
52000
Certified semantics and analysis of JavaScript
M Bodin
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
42013
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
Effectful Programming across Heterogeneous Computations-Work in Progress
Y Zakowski, M Bodin, J Abou-Samra
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 172-188, 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
Dossier de candidature au poste de Maître de conférences
M Bodin
Proving Stream Equalities in Coq
M Bodin
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20