Martin Bodin

Identifiants chercheurs

IdHAL :

martin-bodin

ORCID :

0000-0003-3588-3782

IdRef :

198694490

Publications

Communication dans un congrès (12)

COSMetyc : OpenStreetMap en OCaml Timothé Baleras,Martin Bodin,Ugo Comignani JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, Alsace, France Communication dans un congrès hal-05427963v1
Typechecking of Overloading in Programming Languages and Mechanized Mathematics Arthur Charguéraud,Martin Bodin,Louis Riboulet 36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France Communication dans un congrès hal-04859446v1
Effectful Programming across Heterogeneous Computations -Work in Progress Jean Abou-Samra,Yannick Zakowski,Martin Bodin JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23 Communication dans un congrès hal-03886975v1
Instrumentation de l'association de registres sémiotiques dans un assistant de preuve Emmanuel Beffara,Martin Bodin,Nadine Mandran,Rémi Molinier EIAH2023 - 11ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Association des Technologies de l’Information pour l’Éducation et la Formation, Jun 2023, Brest, France. pp.1-5 Communication dans un congrès hal-04096240v1
Two Mechanisations of WebAssembly 1.0 Conrad Watt,Xiaojia Rao,Jean Pichon-Pharabod,Martin Bodin,Philippa Gardner FM 2021 - Formal Methods, Nov 2021, Beijing, China. pp.1-19 Communication dans un congrès hal-03353748v1
A Trustworthy Mechanized Formalization of R Martin Bodin,Tomás Diaz,Éric Tanter Dynamic Language Symposium (DLS), Nov 2018, Boston, United States. pp.13-24, ⟨10.1145/3276945.3276946⟩ Communication dans un congrès hal-02409674v1
An Abstract Separation Logic for Interlinked Extensible Records Martin Bodin,Thomas Jensen,Alan Schmitt Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France Communication dans un congrès hal-01333600v1
Certified Abstract Interpretation with Pretty-Big-Step Semantics Martin Bodin,Thomas Jensen,Alan Schmitt Certified Programs and Proofs (CPP 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693174⟩ Communication dans un congrès hal-01111588v1
A Trusted Mechanised JavaScript Specification Martin Bodin,Arthur Charguéraud,Daniele Filaretti,Philippa Gardner,Sergio Maffeiset al. POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States Communication dans un congrès hal-00910135v1
Pretty-big-step-semantics-based Certified Abstract Interpretation Martin Bodin,Thomas Jensen,Alan Schmitt JFLA - 25ème Journées Francophones des Langages Applicatifs - 2014, Jan 2014, Fréjus, France Communication dans un congrès hal-00927400v1
A Certified JavaScript Interpreter Martin Bodin,Alan Schmitt JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France Communication dans un congrès hal-00779459v1
Modular Abstractions of Reactive Nodes using Disjunctive Invariants David Monniaux,Martin Bodin Asian symposium on programming languages and systems (APLAS), Dec 2011, Kenting, Taiwan. pp.19-33, ⟨10.1007/978-3-642-25318-8_5⟩ Communication dans un congrès hal-00620682v1

Article dans une revue (2)

Un jeu de plateau pour comprendre la dualité en logique Emmanuel Beffara,Martin Bodin Adjectif : analyses et recherches sur les TICE, 2024, Numéro thématique 4 Article dans une revue hal-04748800v1
Skeletal Semantics and their Interpretations Martin Bodin,Philippa Gardner,Thomas Jensen,Alan Schmitt Proceedings of the ACM on Programming Languages, inPress, 44, pp.1-31. ⟨10.1145/3290357⟩ Article dans une revue hal-01881863v3

Thèse (1)

Certified semantics and analysis of JavaScript Martin Bodin Programming Languages [cs.PL]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S087⟩ Thèse tel-01478722v1