FM 2021
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, kaj Philippa Gardner, Two Mechanisations of WebAssembly 1.0, International Symposium on Formal Methods, 2021, DOI: 10.1007/978-3-030-90870-6_4.
Ligilo
Malafiŝi
Afiŝi
Malafiŝi ĉion
Afiŝi ĉion
Lien
Cacher
Montrer
Cacher tout
Montrer tout
Link
Hide
Show
Hide All
Show All
Mi estas skipano de Spades, en Grenoblo, ĉe Inria.
Je suis membre de l’équipe Spades, à Grenoble, à l’Inria.
I am a member of the Spades team, in Grenoble, at Inria.
Ĉi tiu paĝo listas miajn eldonaĵojn. Vi ankaŭ povas kontroli miajn profilojn ĉe Orcid, DBLP, aŭ Google Scholar.
Cette page liste mes publications. Vous pouvez aussi consulter mon profil Orcid, DBLP, ou Google Scholar.
This page lists my publications. You can also check my Orcid, DBLP, or Google Scholar profile.
Eldonaĵoj
Publications
Publications
FM 2021
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, et Philippa Gardner, Two Mechanisations of WebAssembly 1.0, International Symposium on Formal Methods, 2021, DOI : 10.1007/978-3-030-90870-6_4.
FM 2021
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, and Philippa Gardner, Two Mechanisations of WebAssembly 1.0, International Symposium on Formal Methods, 2021, DOI: 10.1007/978-3-030-90870-6_4.
POPL 2019
Martin Bodin, Philippa Gardner, Thomas Jensen, kaj Alan Schmitt, Skeletal Semantics and Their Interpretations, Symposium on Principles of Programming Languages, 2019, DOI: 10.1145/3290357.
POPL 2019
Martin Bodin, Philippa Gardner, Thomas Jensen, et Alan Schmitt, Skeletal Semantics and Their Interpretations, Symposium on Principles of Programming Languages, 2019, DOI : 10.1145/3290357.
POPL 2019
Martin Bodin, Philippa Gardner, Thomas Jensen, and Alan Schmitt, Skeletal Semantics and Their Interpretations, Symposium on Principles of Programming Languages, 2019, DOI: 10.1145/3290357.
DLS 2018
Martin Bodin, Tomás Diaz, kaj Éric Tanter, A Trustworthy Mechanized Formalization of R, Dynamic Languages Symposium, 2018, DOI: 10.1145/3276945.3276946.
DLS 2018
Martin Bodin, Tomás Diaz, et Éric Tanter, A Trustworthy Mechanized Formalization of R, Dynamic Languages Symposium, 2018, DOI : 10.1145/3276945.3276946.
DLS 2018
Martin Bodin, Tomás Diaz, and Éric Tanter, A Trustworthy Mechanized Formalization of R, Dynamic Languages Symposium, 2018, DOI: 10.1145/3276945.3276946.
CPP 2015
Martin Bodin, Thomas Jensen, kaj Alan Schmitt, Certified Abstract Interpretation with Pretty-Big-Step Semantics, Certified Programs and Proofs, 2015, DOI: 10.1145/2676724.2693174.
CPP 2015
Martin Bodin, Thomas Jensen, et Alan Schmitt, Certified Abstract Interpretation with Pretty-Big-Step Semantics, Certified Programs and Proofs, 2015, DOI : 10.1145/2676724.2693174.
CPP 2015
Martin Bodin, Thomas Jensen, and Alan Schmitt, Certified Abstract Interpretation with Pretty-Big-Step Semantics, Certified Programs and Proofs, 2015, DOI: 10.1145/2676724.2693174.
POPL 2014
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudžiūnienė, Alan Schmitt, kaj Gareth Smith, A Trusted Mechanised JavaScript Specification, Symposium on Principles of Programming Languages, 2014, DOI: 10.1145/2578855.2535876.
POPL 2014
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudžiūnienė, Alan Schmitt, et Gareth Smith, A Trusted Mechanised JavaScript Specification, Symposium on Principles of Programming Languages, 2014, DOI : 10.1145/2578855.2535876.
POPL 2014
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudžiūnienė, Alan Schmitt, and Gareth Smith, A Trusted Mechanised JavaScript Specification, Symposium on Principles of Programming Languages, 2014, DOI: 10.1145/2578855.2535876.
ITP 2013
Jörg Endrullis, Dimitri Hendriks, kaj Martin Bodin, Circular Coinduction in Coq Using Bisimulation-Up-To Techniques, Interactive Theorem Proving, 2013, DOI: 10.1007/978-3-642-39634-2_26.
ITP 2013
Jörg Endrullis, Dimitri Hendriks, et Martin Bodin, Circular Coinduction in Coq Using Bisimulation-Up-To Techniques, Interactive Theorem Proving, 2013, DOI : 10.1007/978-3-642-39634-2_26.
ITP 2013
Jörg Endrullis, Dimitri Hendriks, and Martin Bodin, Circular Coinduction in Coq Using Bisimulation-Up-To Techniques, Interactive Theorem Proving, 2013, DOI: 10.1007/978-3-642-39634-2_26.
APLAS 2011
David Monniaux kaj Martin Bodin, Modular Abstractions of Reactive Nodes using Disjunctive Invariants, Asian Symposium on Programming Languages and Systems, 2011, DOI: 10.1007/978-3-642-25318-8_5.
APLAS 2011
David Monniaux et Martin Bodin, Modular Abstractions of Reactive Nodes using Disjunctive Invariants, Asian Symposium on Programming Languages and Systems, 2011, DOI : 10.1007/978-3-642-25318-8_5.
APLAS 2011
David Monniaux and Martin Bodin, Modular Abstractions of Reactive Nodes using Disjunctive Invariants, Asian Symposium on Programming Languages and Systems, 2011, DOI: 10.1007/978-3-642-25318-8_5.
Babilkongresoj
Colloques
Workshops
EIAH 2023
Emmanuel Beffara, Martin Bodin, Nadine Mandran, kaj Rémi Molinier, Instrumentation de l’association de registres sémiotiques dans un assistant de preuve, Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, 2023.
EIAH 2023
Emmanuel Beffara, Martin Bodin, Nadine Mandran, et Rémi Molinier, Instrumentation de l’association de registres sémiotiques dans un assistant de preuve, Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, 2023.
EIAH 2023
Emmanuel Beffara, Martin Bodin, Nadine Mandran, and Rémi Molinier, Instrumentation de l’association de registres sémiotiques dans un assistant de preuve, Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, 2023.
JFLA 2023
Jean Abou Samra, Martin Bodin, kaj Yannick Zakowski, Effectful Programming across Heterogeneous Computations — Work in Progress, Journées Francophones des Langages Applicatifs, 2023.
JFLA 2023
Jean Abou Samra, Martin Bodin, et Yannick Zakowski, Effectful Programming across Heterogeneous Computations — Work in Progress, Journées Francophones des Langages Applicatifs, 2023.
JFLA 2023
Jean Abou Samra, Martin Bodin, and Yannick Zakowski, Effectful Programming across Heterogeneous Computations — Work in Progress, Journées Francophones des Langages Applicatifs, 2023.
Séminaire de l’IREM 2022
Martin Bodin, Les Assistants de preuve : l’exemple de Coq, Séminaire de l’IREM, 2022.
Séminaire de l’IREM 2022
Martin Bodin, Les Assistants de preuve : l’exemple de Coq, Séminaire de l’IREM, 2022.
Séminaire de l’IREM 2022
Martin Bodin, Les Assistants de preuve : l’exemple de Coq, Séminaire de l’IREM, 2022.
Verified Software Workshop 2019
Martin Bodin, Philippa Gardner, Thomas Jensen, kaj Alan Schmitt, Poster: Skeletal Semantics, Verified Software Workshop, 2019.
Verified Software Workshop 2019
Martin Bodin, Philippa Gardner, Thomas Jensen, et Alan Schmitt, Poster: Skeletal Semantics, Verified Software Workshop, 2019.
Verified Software Workshop 2019
Martin Bodin, Philippa Gardner, Thomas Jensen, and Alan Schmitt, Poster: Skeletal Semantics, Verified Software Workshop, 2019.
FMfSS 2019
Martin Bodin, Tomás Diaz, kaj Éric Tanter, A Trustworthy Mechanized Formalization of R, Formal Methods for Statistical Software, 2019.
FMfSS 2019
Martin Bodin, Tomás Diaz, et Éric Tanter, A Trustworthy Mechanized Formalization of R, Formal Methods for Statistical Software, 2019.
FMfSS 2019
Martin Bodin, Tomás Diaz, and Éric Tanter, A Trustworthy Mechanized Formalization of R, Formal Methods for Statistical Software, 2019.
CoqPL 2018
Martin Bodin, A Coq Formalisation of a Core of R, CoqPL, 2018.
CoqPL 2018
Martin Bodin, A Coq Formalisation of a Core of R, CoqPL, 2018.
CoqPL 2018
Martin Bodin, A Coq Formalisation of a Core of R, CoqPL, 2018.
JFLA 2016
Martin Bodin, Thomas Jensen, kaj Alan Schmitt, An Abstract Separation Logic for Interlinked Extensible Records, Journées Francophones des Langages Applicatifs, 2016.
JFLA 2016
Martin Bodin, Thomas Jensen, et Alan Schmitt, An Abstract Separation Logic for Interlinked Extensible Records, Journées Francophones des Langages Applicatifs, 2016.
JFLA 2016
Martin Bodin, Thomas Jensen, and Alan Schmitt, An Abstract Separation Logic for Interlinked Extensible Records, Journées Francophones des Langages Applicatifs, 2016.
JFLA 2014
Martin Bodin, Thomas Jensen, kaj Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation, Journées Francophones des Langages Applicatifs, 2014.
JFLA 2014
Martin Bodin, Thomas Jensen, et Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation, Journées Francophones des Langages Applicatifs, 2014.
JFLA 2014
Martin Bodin, Thomas Jensen, and Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation, Journées Francophones des Langages Applicatifs, 2014.
Festschrift for David Schmidt 2013
Martin Bodin, Thomas Jensen, kaj Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version), Festschrift for David Schmidt, 2013, DOI: 10.4204/EPTCS.129.23.
Festschrift for David Schmidt 2013
Martin Bodin, Thomas Jensen, et Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version), Festschrift for David Schmidt, 2013, DOI : 10.4204/EPTCS.129.23.
Festschrift for David Schmidt 2013
Martin Bodin, Thomas Jensen, and Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version), Festschrift for David Schmidt, 2013, DOI: 10.4204/EPTCS.129.23.
JFLA 2013
Martin Bodin kaj Alan Schmitt, A Certified JavaScript Interpreter, Journées Francophones des Langages Applicatifs, 2013.
JFLA 2013
Martin Bodin et Alan Schmitt, A Certified JavaScript Interpreter, Journées Francophones des Langages Applicatifs, 2013.
JFLA 2013
Martin Bodin and Alan Schmitt, A Certified JavaScript Interpreter, Journées Francophones des Langages Applicatifs, 2013.
Doktoriĝo
Thèse
Thesis
Certigitaj semantiko kaj analizo de JavaSkripto
Mi doktoriĝis en 2016. Miaj doktoriĝestroj estis Alan Schmitt kaj Thomas Jensen.
Sémantique et analyse certifiées de JavaScript
J’ai soutenu en 2016. Mes encadrants étaient Alan Schmitt et Thomas Jensen.
Certified Semantics and Analysis of JavaScript
I defended my PhD Thesis in 2016. My PhD advisors were Alan Schmitt and Thomas Jensen.
Aliaĵoj
Autres
Miscellaneous
Stage MathC2+
Prelego al mezlernejaj studentoj.
Stage MathC2+
Présentation pour des étudiants de lycée.
Stage MathC2+
Talk to high school students.
Séminaire sport-étude de l’ENS Lyon 2022
Prelego al la studentoj de la ENS Lyon.
Séminaire sport-étude de l’ENS Lyon 2022
Présentation pour le séminaire sport-étude de l’ENS Lyon.
Séminaire sport-étude de l’ENS Lyon 2022
Talk to the students of the ENS Lyon.
TEJO-Scienco 2021
Prelego por la Scienca grupo de TEJO.
TEJO-Scienco 2021
Présentation pour le groupe Science de TEJO.
TEJO-Scienco 2021
Talk at the Science group of TEJO.
Qualification
Tio estas la dokumentaro kiun mi preparis por la franca “qualification”, por la CNRS.
Qualification
Ceci est le dossier que j’ai monté pour la qualification aux postes d’enseignents-checheurs aux CNRS.
Qualification
This is the document that I prepared for the French “qualification” for the CNRS.
Populariga filmeto
Esperanta filmeto kiu prezentas mian esploradan temon.
Vidéo de vulgarisation
Vidéo en espéranto sur une présentation générale de ma recherche.
Popular Science Video
Small video in Esperanto to present my field of research.