Martin Bodin

Documents

Identifiants chercheurs

Contact

Publications

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 Maffeis et 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

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, In press, 44, pp.1-31. ⟨10.1145/3290357⟩

Article dans une revue hal-01881863v3

Certified semantics and analysis of JavaScript

Martin Bodin

Programming Languages [cs.PL]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S087⟩

Thèse tel-01478722v1

Chargement...