Accéder directement au contenu

Alan Schmitt

65
Documents

Publications

Image document

HOπ in Coq

Guillaume Ambal , Sergueï Lenglet , Alan Schmitt
Journal of Automated Reasoning, 2020, ⟨10.1007/s10817-020-09553-0⟩
Article dans une revue hal-02536463v2
Image document

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
Image document

Efficiently Deciding µ-calculus with Converse over Finite Trees

Pierre Genevès , Nabil Layaïda , Alan Schmitt , Nils Gesbert
ACM Transactions on Computational Logic, 2015, 16 (2), pp.41. ⟨10.1145/2724712⟩
Article dans une revue hal-00868722v5
Image document

Characterizing contextual equivalence in calculi with passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani
Information and Computation, 2011, 209 (11), pp.1390-1433. ⟨10.1016/j.ic.2011.08.002⟩
Article dans une revue hal-00903877v1
Image document

On the Expressiveness and Decidability of Higher-Order Process Calculi

Ivan Lanese , Jorge A Perez , Davide Sangiorgi , Alan Schmitt
Information and Computation, 2011, 209 (2), pp.29. ⟨10.1016/j.ic.2010.10.001⟩
Article dans une revue hal-01112294v1
Image document

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

J. Nathan Foster , Michael B. Greenwald , Jonathan T. Moore , Benjamin C. Pierce , Alan Schmitt
ACM Transactions on Programming Languages and Systems (TOPLAS), 2007, ACM Transactions on Programming Languages and Systems, 29 (3), pp.17. ⟨10.1145/1232420.1232424⟩
Article dans une revue inria-00484971v1
Image document

Exploiting Schemas in Data Synchronization

J. Nathan Foster , Michael B. Greenwald , Christian Kirkegaard , Benjamin C. Pierce , Alan Schmitt
Journal of Computer and System Sciences, 2007, 73 (4), pp.669-689. ⟨10.1016/j.jcss.2006.10.024⟩
Article dans une revue inria-00483199v1
Image document

Skeletal Semantics of a Fragment of Python

Martin Andrieux , Alan Schmitt
35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès hal-04406392v1
Image document

Building CFA for λ-calculus from Skeletal Semantics

Thomas Jensen , Vincent Rébiscoul , Alan Schmitt
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.152-171
Communication dans un congrès hal-03936686v1
Image document

Deriving Abstract Interpreters from Skeletal Semantics

Thomas Jensen , Vincent Rébiscoul , Alan Schmitt
EXPRESS/SOS 2023 - 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Sep 2023, Antwerp, Belgium. pp.97-113, ⟨10.4204/EPTCS.387.8⟩
Communication dans un congrès hal-04207565v1
Image document

Necro ML: Kit de Nécromancie

Louis Noizet , Alan Schmitt
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.296-298
Communication dans un congrès hal-03936885v1
Image document

Non-Deterministic Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Alan Schmitt
CONCUR 2022 - 33rd International Conference
 on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩
Communication dans un congrès hal-03772712v1
Image document

A Faithful Description of ECMAScript Algorithms

Adam Khayam , Louis Noizet , Alan Schmitt
PPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-14, ⟨10.1145/3551357.3551381⟩
Communication dans un congrès hal-03782992v1
Image document

Certified Derivation of Small-Step From Big-Step Skeletal Semantics

Guillaume Ambal , Sergueï Lenglet , Alan Schmitt , Camille Noûs
PPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩
Communication dans un congrès hal-03768820v1
Image document

Certified Abstract Machines for Skeletal Semantics

Guillaume Ambal , Sergueï Lenglet , Alan Schmitt
CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩
Communication dans un congrès hal-03466807v1
Image document

Semantics in Skel and Necro

Louis Noizet , Alan Schmitt
ICTCS 2022 - Italian Conference on Theoretical Computer Science, Sep 2022, Rome, Italy. pp.1-17
Communication dans un congrès hal-03784478v1
Image document

JSkel: Towards a Formalization of JavaScript's Semantics

Adam Khayam , Louis Noizet , Alan Schmitt
JFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Virtuelles, France. pp.1-22
Communication dans un congrès hal-03509431v1
Image document

Formalisation de Sémantiques Squelettiques

Louis Noizet , Alan Schmitt
JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.1-14
Communication dans un congrès hal-02512485v1
Image document

JSExplain: A Double Debugger for JavaScript

Arthur Charguéraud , Alan Schmitt , Thomas Wood
The Web Conference 2018, Apr 2018, Lyon, France. pp.1-9, ⟨10.1145/3184558.3185969⟩
Communication dans un congrès hal-01745792v1
Image document

MLExplain

Kévin Le Bon , Alan Schmitt
OCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4
Communication dans un congrès hal-02056392v1
Image document

HOπ in Coq

Sergueï Lenglet , Alan Schmitt
CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩
Communication dans un congrès hal-01614987v3
Image document

Non-Interference through Annotated Multisemantics

Gurvan Cabon , Alan Schmitt
28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès hal-01503094v1
Image document

Annotated multisemantics to prove Non-Interference analyses

Gurvan Cabon , Alan Schmitt
PLAS 2017 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security, Oct 2017, Dallas, United States. ⟨10.1145/3139337.3139344⟩
Communication dans un congrès hal-01656404v1
Image document

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous
LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩
Communication dans un congrès hal-01479035v1
Image document

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
Image document

HOCore in Coq

Martín Escarrá , Petar Maksimović , Alan Schmitt
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès hal-01099130v1
Image document

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
Image document

HOCore in Coq

Petar Maksimovic , Alan Schmitt
Interactive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_19⟩
Communication dans un congrès hal-01243017v1
Image document

Howe's Method for Contextual Semantics

Sergueï Lenglet , Alan Schmitt
CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩
Communication dans un congrès hal-01192699v1
Image document

Expressive Logical Combinators for Free

Pierre Genevès , Alan Schmitt
International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
Communication dans un congrès hal-00868724v4
Image document

Hybrid Typing of Secure Information Flow in a JavaScript-like Language

José Fragoso Santos , Thomas Jensen , Tamara Rezk , Alan Schmitt
International Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain
Communication dans un congrès hal-01243029v1
Image document

A Trusted Mechanised JavaScript Specification

Martin Bodin , Arthur Charguéraud , Daniele Filaretti , Philippa Gardner , Sergio Maffeis
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
Image document

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
Image document

De la KAM avec un Processus d'Ordre Supérieur

Damien Pous , Alan Schmitt
JFLAs 2014, Jan 2014, Fréjus, France. pp.1-12
Communication dans un congrès hal-00966097v2
Image document

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
Image document

Concurrent Flexible Reversibility

Ivan Lanese , Michaël Lienhardt , Claudio Antares Mezzina , Alan Schmitt , Jean-Bernard Stefani
22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩
Communication dans un congrès hal-00811629v1
Image document

Formalisation de HOCore en Coq

Simon Boulier , Alan Schmitt
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Communication dans un congrès hal-00665945v1
Image document

Query Reasoning on Trees with Types, Interleaving, and Counting

Everardo Barcenas-Patino , Pierre Genevès , Nabil Layaïda , Alan Schmitt
22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain
Communication dans un congrès inria-00609556v1
Image document

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

Ivan Lanese , Jorge A. Peréz , Davide Sangiorgi , Alan Schmitt
37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. pp.442--453
Communication dans un congrès inria-00514912v1
Image document

Typing Component-Based Communication Systems

Michaël Lienhardt , Claudio Antares Mezzina , Alan Schmitt , Jean-Bernard Stefani
11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. pp.167--181, ⟨10.1007/978-3-642-02138-1_11⟩
Communication dans un congrès inria-00488856v1
Image document

Howe's Method for Calculi with Passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani
20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462
Communication dans un congrès inria-00486800v1
Image document

Normal bisimulations in process calculi with passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani
12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. pp.257--271, ⟨10.1007/978-3-642-00596-1_19⟩
Communication dans un congrès inria-00490810v1
Image document

On the Expressiveness and Decidability of Higher-Order Process Calculi

Ivan Lanese , Jorge A. Peréz , Davide Sangiorgi , Alan Schmitt
23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, Pennsylvania, United States. pp.145--155, ⟨10.1109/LICS.2008.8⟩
Communication dans un congrès inria-00494584v1
Image document

Boomerang: Resourceful Lenses for String Data

Aaron Bohannon , J. Nathan Foster , Benjamin C. Pierce , Alexandre Pilkiewicz , Alan Schmitt
ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), Jan 2008, San Francisco, California, United States. pp.407--419, ⟨10.1145/1328897.1328487⟩
Communication dans un congrès inria-00496456v1
Image document

Typing Communicating Component Assemblages

Michaël Lienhardt , Alan Schmitt , Jean-Bernard Stefani
7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. pp.125--136, ⟨10.1145/1449913.1449933⟩
Communication dans un congrès inria-00492749v1
Image document

Efficient Static Analysis of XML Paths and Types

Pierre Genevès , Nabil Layaïda , Alan Schmitt
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩
Communication dans un congrès hal-00189123v1
Image document

Oz/K: A Kernel Language for Component-Based Open Programming

Michaël Lienhardt , Alan Schmitt , Jean-Bernard Stefani
6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, ⟨10.1145/1289971.1289980⟩
Communication dans un congrès inria-00498413v1
Image document

XPath Typing Using a Modal Logic with Converse for Finite Trees

Pierre Genevès , Nabil Layaïda , Alan Schmitt
Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1
Communication dans un congrès hal-00189131v1
Image document

Efficient Static Analysis of XML Paths and Types

Pierre Genevès , Nabil Layaïda , Alan Schmitt
2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩
Communication dans un congrès inria-00502789v1
Image document

Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data

Michael B. Greenwald , Sanjeev Khanna , Keshav Kunal , Benjamin C. Pierce , Alan Schmitt
20th International Symposium on Distributed Computing (DISC), Sep 2006, Stockholm, Sweden. pp.269--283, ⟨10.1007/11864219_19⟩
Communication dans un congrès inria-00535653v1
Image document

Component-Oriented Programming with Sharing: Containment is not Ownership

Daniel Hirschkoff , Tom Hirschowitz , Damien Pous , Alan Schmitt , Jean-Bernard Stefani
Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
Communication dans un congrès hal-00310126v1
Image document

Non-Deterministic Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Serguei Lenglet , Alan Schmitt
[Research Report] RR-9475, Inria. 2022, pp.1-33
Rapport hal-03545768v2
Image document

Stating and Handling Semantics with Skel and Necro

Louis Noizet , Alan Schmitt
[Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23
Rapport hal-03543701v2
Image document

Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step

Guillaume Ambal , Alan Schmitt , Sergueï Lenglet
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
Rapport hal-02946930v2
Image document

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous
[Research Report] RR-9052, Inria. 2017
Rapport hal-01507625v1
Image document

Howe's Method for Contextual Semantics

Sergueï Lenglet , Alan Schmitt
[Research Report] RR-8750, Inria. 2015, pp.31
Rapport hal-01168865v1
Image document

Logical Combinators for Rich Type Systems

Pierre Genevès , Nabil Layaïda , Alan Schmitt
[Research Report] RR-8010, INRIA. 2012, pp.18
Rapport hal-00714353v2
Image document

On the Count of Trees

Everardo Barcenas , Pierre Genevès , Nabil Layaïda , Alan Schmitt
[Research Report] RR-7251, INRIA. 2010
Rapport inria-00473160v2
Image document

Normal bisimulations in process calculi with passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani
[Research Report] RR-6664, INRIA. 2008, pp.102
Rapport inria-00330565v1
Image document

Howe's Method for Early Bisimilarities

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani
[Research Report] RR-6773, INRIA. 2008, pp.69
Rapport inria-00347137v2
Image document

Efficient Static Analysis of XML Paths and Types

Pierre Genevès , Nabil Layaïda , Alan Schmitt
[Research Report] RR-6590, INRIA. 2008
Rapport inria-00305302v3
Image document

Oz/K: A kernel language for component-based open programming

Michaël Lienhardt , Alan Schmitt , Jean-Bernard Stefani
[Research Report] RR-6202, INRIA. 2007
Rapport inria-00149612v2
Image document

The M-calculus: a Higher-Order Distributed Process Calculus

Alan Schmitt , Jean-Bernard Stefani
[Research Report] RR-4361, INRIA. 2002
Rapport inria-00072227v1