POPL 2019
Martin Bodin, Philippa Gardner, Thomas Jensen, kaj Alan Schmitt, Skeletal Semantics and Their Interpretations, Symposium on Principles of Programming Languages (POPL), 2019, DOI: 10.1145/3290357.
Esplorado
Travaux de recherche
Research
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 postdoktorulo ĉe Imperial College, en Londono. Mi laboras je la esplorada grupo Verified Trustworthy Software Specification.
Je suis post-doctorant à l’Imperial College, à Londres. Je travaille dans le groupe de recherche Verified Trustworthy Software Specification.
I am a postdoc at the Imperial College, in London. I work on the Verified Trustworthy Software Specification research group.
Mi estis partoprenanto de la projektoj JSCert kaj SecCloud. La projekto JSCert celas al konstrui modelojn de Javaskripto en la pruvhelpilo Coq kaj konstrui aŭtomatajn ilojn purvatajn per tiuj semantikoj. La projekto SecCloud celas ellabori lingvaĵbazajn laborgvidojn por la difino, analizo kaj realigo de sekuraj programaĵoj ellaboritaj per Javaskripto aŭ similaj lingvaĵoj.
J’ai fait partie des projets JSCert et SecCloud. Le projet JSCert a pour but de construire des modèles de JavaScript en Coq et de concevoir des outils d’analyses automatiques basés sur ces modèles formels. Le projet SecCloud a pour but de concevoir une approche orientée langages de programation pour la définition, l’analyse et l’implémentation d’applications sécurisées développées en JavaScript ou en des langages similaires.
I have been part of the JSCert and the SecCloud projects. The the JSCert project aims to build models of JavaScript in the Coq proof assistant and to design automated tools based on those semantics. The the SecCloud project aims to provide a comprehensive language-based approach to the definition, analysis and implementation of secure applications developed using JavaScript and similar languages.
Ĉi tiu paĝo listas miajn eldonaĵojn. Vi ankaŭ povas kontroli miajn profilojn ĉe Orcid, DPLP, aŭ Google Scholar.
Cette page liste mes publications. Vous pouvez aussi consulter mon profil Orcid, DPLP, ou Google Scholar.
This page lists my publications. You can also check my Orcid, DPLP, or Google Scholar profile.
Martin Bodin, Philippa Gardner, Thomas Jensen, kaj Alan Schmitt, Skeletal Semantics and Their Interpretations, Symposium on Principles of Programming Languages (POPL), 2019, DOI: 10.1145/3290357.
Martin Bodin, Philippa Gardner, Thomas Jensen, et Alan Schmitt, Skeletal Semantics and Their Interpretations, Symposium on Principles of Programming Languages (POPL), 2019, DOI : 10.1145/3290357.
Martin Bodin, Philippa Gardner, Thomas Jensen, and Alan Schmitt, Skeletal Semantics and Their Interpretations, Symposium on Principles of Programming Languages (POPL), 2019, DOI: 10.1145/3290357.
Martin Bodin, Tomás Diaz, kaj Éric Tanter, A Trustworthy Mechanized Formalization of R, Dynamic Languages Symposium (DLS), 2018, DOI: 10.1145/3276945.3276946.
Martin Bodin, Tomás Diaz, et Éric Tanter, A Trustworthy Mechanized Formalization of R, Dynamic Languages Symposium (DLS), 2018, DOI : 10.1145/3276945.3276946.
Martin Bodin, Tomás Diaz, and Éric Tanter, A Trustworthy Mechanized Formalization of R, Dynamic Languages Symposium (DLS), 2018, DOI: 10.1145/3276945.3276946.
Martin Bodin, Thomas Jensen, kaj Alan Schmitt, Certified Abstract Interpretation with Pretty-Big-Step Semantics, Certified Programs and Proofs (CPP), 2015, DOI: 10.1145/2676724.2693174.
Martin Bodin, Thomas Jensen, et Alan Schmitt, Certified Abstract Interpretation with Pretty-Big-Step Semantics, Certified Programs and Proofs (CPP), 2015, DOI : 10.1145/2676724.2693174.
Martin Bodin, Thomas Jensen, and Alan Schmitt, Certified Abstract Interpretation with Pretty-Big-Step Semantics, Certified Programs and Proofs (CPP), 2015, DOI: 10.1145/2676724.2693174.
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 (POPL), 2014, DOI: 10.1145/2578855.2535876.
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 (POPL), 2014, DOI : 10.1145/2578855.2535876.
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 (POPL), 2014, DOI: 10.1145/2578855.2535876.
Jörg Endrullis, Dimitri Hendriks, kaj Martin Bodin, Circular Coinduction in Coq Using Bisimulation-Up-To Techniques, Interactive Theorem Proving (ITP), 2013, DOI: 10.1007/978-3-642-39634-2_26.
Jörg Endrullis, Dimitri Hendriks, et Martin Bodin, Circular Coinduction in Coq Using Bisimulation-Up-To Techniques, Interactive Theorem Proving (ITP), 2013, DOI : 10.1007/978-3-642-39634-2_26.
Jörg Endrullis, Dimitri Hendriks, and Martin Bodin, Circular Coinduction in Coq Using Bisimulation-Up-To Techniques, Interactive Theorem Proving (ITP), 2013, DOI: 10.1007/978-3-642-39634-2_26.
David Monniaux kaj Martin Bodin, Modular Abstractions of Reactive Nodes using Disjunctive Invariants, Asian Symposium on Programming Languages and Systems (APLAS), 2011, DOI: 10.1007/978-3-642-25318-8_5.
David Monniaux et Martin Bodin, Modular Abstractions of Reactive Nodes using Disjunctive Invariants, Asian Symposium on Programming Languages and Systems (APLAS), 2011, DOI : 10.1007/978-3-642-25318-8_5.
David Monniaux and Martin Bodin, Modular Abstractions of Reactive Nodes using Disjunctive Invariants, Asian Symposium on Programming Languages and Systems (APLAS), 2011, DOI: 10.1007/978-3-642-25318-8_5.
Martin Bodin, Tomás Diaz, kaj Éric Tanter, A Trustworthy Mechanized Formalization of R, Formal Methods for Statistical Software (FMfSS), 2019.
Martin Bodin, Tomás Diaz, et Éric Tanter, A Trustworthy Mechanized Formalization of R, Formal Methods for Statistical Software (FMfSS), 2019.
Martin Bodin, Tomás Diaz, and Éric Tanter, A Trustworthy Mechanized Formalization of R, Formal Methods for Statistical Software (FMfSS), 2019.
Martin Bodin, A Coq Formalisation of a Core of R, CoqPL, 2018.
Martin Bodin, A Coq Formalisation of a Core of R, CoqPL, 2018.
Martin Bodin, A Coq Formalisation of a Core of R, CoqPL, 2018.
Martin Bodin, Thomas Jensen, kaj Alan Schmitt, An Abstract Separation Logic for Interlinked Extensible Records, Journées Francophones des Langages Applicatifs (JFLA), 2016.
Martin Bodin, Thomas Jensen, et Alan Schmitt, An Abstract Separation Logic for Interlinked Extensible Records, Journées Francophones des Langages Applicatifs (JFLA), 2016.
Martin Bodin, Thomas Jensen, and Alan Schmitt, An Abstract Separation Logic for Interlinked Extensible Records, Journées Francophones des Langages Applicatifs (JFLA), 2016.
Martin Bodin, Thomas Jensen, kaj Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation, Journées Francophones des Langages Applicatifs (JFLA), 2014.
Martin Bodin, Thomas Jensen, et Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation, Journées Francophones des Langages Applicatifs (JFLA), 2014.
Martin Bodin, Thomas Jensen, and Alan Schmitt, Pretty-big-step-semantics-based Certified Abstract Interpretation, Journées Francophones des Langages Applicatifs (JFLA), 2014.
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.
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.
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.
Martin Bodin kaj Alan Schmitt, A Certified JavaScript Interpreter, Journées Francophones des Langages Applicatifs (JFLA), 2013.
Martin Bodin et Alan Schmitt, A Certified JavaScript Interpreter, Journées Francophones des Langages Applicatifs (JFLA), 2013.
Martin Bodin and Alan Schmitt, A Certified JavaScript Interpreter, Journées Francophones des Langages Applicatifs (JFLA), 2013.
Mi doktoriĝis en 2016. Miaj doktoriĝestroj estis Alan Schmitt kaj Thomas Jensen.
J’ai soutenu en 2016. Mes encadrants étaient Alan Schmitt et Thomas Jensen.
I defended my PhD Thesis in 2016. My PhD advisors were Alan Schmitt and Thomas Jensen.
Afiŝprelego por la Verified Software Workshop en 2019.
Poster pour le Verified Software Workshop de 2019.
Poster for the Verified Software Workshop, 2019.
Esperanta filmeto kiu prezentas mian esploradan temon.
Vidéo en espéranto sur une présentation générale de ma recherche.
Tio estas la dokumentaro kiun mi elpreparis por la franca “qualification”, por la CNRS.
Ceci est le dossier que j’ai monté pour la qualification aux postes d’enseignents-checheurs aux CNRS.
This is the document that I prepared for the French “qualification” for the CNRS.