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 | 108 | 2014 |
Circular coinduction in Coq using bisimulation-up-to techniques J Endrullis, D Hendriks, M Bodin International Conference on Interactive Theorem Proving, 354-369, 2013 | 25 | 2013 |
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 | 14 | 2015 |
Modular abstractions of reactive nodes using disjunctive invariants D Monniaux, M Bodin Asian Symposium on Programming Languages and Systems, 19-33, 2011 | 11 | 2011 |
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 | 9 | 2019 |
Jscert: Certified javascript M Bodin, A Chargueraud, D Filaretti, P Gardner, S Maffeis, ... | 8 | 2012 |
A trustworthy mechanized formalization of R M Bodin, T Diaz, É Tanter Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic …, 2018 | 5 | 2018 |
Certified semantics and analysis of JavaScript M Bodin | 4 | 2016 |
Pretty-big-step-semantics-based certified abstract interpretation (preliminary version) M Bodin, T Jensen, A Schmitt arXiv preprint arXiv:1309.5149, 2013 | 4 | 2013 |
A Certified JavaScript Interpreter M Bodin, A Schmitt | 3 | 2013 |
A Coq Formalisation of a Core of R M Bodin CoqPl, 2018 | 2 | 2018 |
An Abstract Separation Logic for Interlinked Extensible Records M Bodin, T Jensen, A Schmitt | 1 | 2016 |
Pretty-big-step-semantics-based Certified Abstract Interpretation M Bodin, T Jensen, A Schmitt | 1 | 2014 |
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 | | |
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 | | |