Alan Schmitt

73
Documents

Publications

2
1
6
3
7
1
3
1
3
4
1
8
3
2
2
4
2
4
6
7
1
1
1

Publications

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

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous et al.

Logical Methods in Computer Science, 2024, 20 (3), pp.1-45. ⟨10.46298/lmcs-20(3:3)2024⟩

Article dans une revue hal-04638249v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Algebraizing Higher-Order Effects

Martin Andrieux , Alan Schmitt

JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, Alsace, France

Communication dans un congrès hal-05428145v1
Deposit thumbnail

Optimizing a Non-Deterministic Abstract Machine with Environments

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Alan Schmitt

FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2024.11⟩

Communication dans un congrès hal-04643294v1
Deposit thumbnail

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
Deposit thumbnail

Leaf-First Zipper Semantics

Sergueï Lenglet , Alan Schmitt

FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2024, Groningen, Netherlands. ⟨10.1007/978-3-031-62645-6_7⟩

Communication dans un congrès hal-04571340v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous et al.

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

From Complementary to Zipper Semantics

Sergueï Lenglet , Camille Noûs , Alan Schmitt

Components Operationally: Reversibility and System Engineering Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, 16065, Springer Nature Switzerland, pp.89-102, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-99717-4_5⟩

Chapitre d'ouvrage hal-05322293v1
Deposit thumbnail

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
Deposit thumbnail

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 (rapport de recherche) hal-03543701v2
Deposit thumbnail

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 (rapport de recherche) hal-02946930v2
Deposit thumbnail

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

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous et al.

[Research Report] RR-9052, Inria. 2017

Rapport (rapport de recherche) hal-01507625v1
Deposit thumbnail

Howe's Method for Contextual Semantics

Sergueï Lenglet , Alan Schmitt

[Research Report] RR-8750, Inria. 2015, pp.31

Rapport (rapport de recherche) hal-01168865v1
Deposit thumbnail

Logical Combinators for Rich Type Systems

Pierre Genevès , Nabil Layaïda , Alan Schmitt

[Research Report] RR-8010, INRIA. 2012, pp.18

Rapport (rapport de recherche) hal-00714353v2
Deposit thumbnail

On the Count of Trees

Everardo Barcenas , Pierre Genevès , Nabil Layaïda , Alan Schmitt

[Research Report] RR-7251, INRIA. 2010

Rapport (rapport de recherche) inria-00473160v2
Deposit thumbnail

Howe's Method for Early Bisimilarities

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani

[Research Report] RR-6773, INRIA. 2008, pp.69

Rapport (rapport de recherche) inria-00347137v2
Deposit thumbnail

Efficient Static Analysis of XML Paths and Types

Pierre Genevès , Nabil Layaïda , Alan Schmitt

[Research Report] RR-6590, INRIA. 2008

Rapport (rapport de recherche) inria-00305302v3
Deposit thumbnail

Normal bisimulations in process calculi with passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani

[Research Report] RR-6664, INRIA. 2008, pp.102

Rapport (rapport de recherche) inria-00330565v1
Deposit thumbnail

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 (rapport de recherche) inria-00149612v2
Deposit thumbnail

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

Alan Schmitt , Jean-Bernard Stefani

[Research Report] RR-4361, INRIA. 2002

Rapport (rapport de recherche) inria-00072227v1