Alan Schmitt

Publications

Article dans une revue (8)

Fully Abstract Encodings of Lambda-Calculus in HOcore through Abstract Machines Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk,Damien Pouset 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
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
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
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
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
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
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
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

Communication dans un congrès (47)

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk,Damien Pouset 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
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
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
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
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
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
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
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
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
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
A Trusted Mechanised JavaScript Specification Martin Bodin,Arthur Charguéraud,Daniele Filaretti,Philippa Gardner,Sergio Maffeiset 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Ouvrages (2)

Components Operationally: Reversibility and System Engineering Claudio Antares Mezzina,Alan Schmitt Springer, 16065, 2026, Lecture Notes in Computer Science, 978-3-031-99716-7. ⟨10.1007/978-3-031-99717-4⟩ Ouvrages hal-05325655v1
Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs) Alan Schmitt INRIA. INRIA, pp.174, 2009 Ouvrages inria-00362717v1

Chapitre d'ouvrage (1)

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

Pré-publication, Document de travail (2)

Leaf-First Zipper Semantics Sergueï Lenglet,Alan Schmitt 2024 Pré-publication, Document de travail hal-04537440v1
Optimizing a Non-Deterministic Abstract Machine with Environments Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Alan Schmitt 2024 Pré-publication, Document de travail hal-04568253v3

Rapport (12)

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
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
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
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk,Damien Pouset al. [Research Report] RR-9052, Inria. 2017 Rapport (rapport de recherche) hal-01507625v1
Howe's Method for Contextual Semantics Sergueï Lenglet,Alan Schmitt [Research Report] RR-8750, Inria. 2015, pp.31 Rapport (rapport de recherche) hal-01168865v1
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
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
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
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
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
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
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

HDR (1)

Static Analyses for Manipulations of Hierarchically Structured Data Alan Schmitt Software Engineering [cs.SE]. Université de Grenoble, 2011 HDR tel-00637917v1