Alan Schmitt
Publications
Publications
|
|
Algebraizing Higher-Order EffectsJFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, Alsace, France |
|
|
Optimizing a Non-Deterministic Abstract Machine with EnvironmentsFSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2024.11⟩ |
|
|
Skeletal Semantics of a Fragment of Python35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France |
|
|
Leaf-First Zipper SemanticsFORTE 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⟩ |
|
|
Deriving Abstract Interpreters from Skeletal SemanticsEXPRESS/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⟩ |
|
|
Building CFA for λ-calculus from Skeletal SemanticsJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.152-171 |
|
|
Necro ML: Kit de NécromancieJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.296-298 |
|
|
A Faithful Description of ECMAScript AlgorithmsPPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-14, ⟨10.1145/3551357.3551381⟩ |
|
|
Non-Deterministic Abstract MachinesCONCUR 2022 - 33rd International Conference on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩ |
|
|
Certified Derivation of Small-Step From Big-Step Skeletal SemanticsPPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩ |
|
|
Semantics in Skel and NecroICTCS 2022 - Italian Conference on Theoretical Computer Science, Sep 2022, Rome, Italy. pp.1-17 |
|
|
Certified Abstract Machines for Skeletal SemanticsCPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩ |
|
|
JSkel: Towards a Formalization of JavaScript's SemanticsJFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Virtuelles, France. pp.1-22 |
|
|
Formalisation de Sémantiques SquelettiquesJLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.1-14 |
|
|
MLExplainOCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4 |
|
|
HOπ in CoqCPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩ |
|
|
JSExplain: A Double Debugger for JavaScriptThe Web Conference 2018, Apr 2018, Lyon, France. pp.1-9, ⟨10.1145/3184558.3185969⟩ |
|
|
Annotated multisemantics to prove Non-Interference analysesPLAS 2017 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security, Oct 2017, Dallas, United States. ⟨10.1145/3139337.3139344⟩ |
|
|
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract MachinesLICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩ |
|
|
Non-Interference through Annotated Multisemantics28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France |
|
|
An Abstract Separation Logic for Interlinked Extensible RecordsVingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France |
|
|
HOCore in CoqInteractive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_19⟩ |
|
|
Howe's Method for Contextual SemanticsCONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩ |
|
|
HOCore in CoqVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France |
|
|
Expressive Logical Combinators for FreeInternational Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina |
|
|
Hybrid Typing of Secure Information Flow in a JavaScript-like LanguageInternational Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain |
|
|
Certified Abstract Interpretation with Pretty-Big-Step SemanticsCertified Programs and Proofs (CPP 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693174⟩ |
|
|
De la KAM avec un Processus d'Ordre SupérieurJFLAs 2014, Jan 2014, Fréjus, France. pp.1-12 |
|
|
A Trusted Mechanised JavaScript SpecificationPOPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States |
|
|
Pretty-big-step-semantics-based Certified Abstract InterpretationJFLA - 25ème Journées Francophones des Langages Applicatifs - 2014, Jan 2014, Fréjus, France |
|
|
Concurrent Flexible Reversibility22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩ |
|
|
A Certified JavaScript InterpreterJFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France |
|
|
Formalisation de HOCore en CoqJFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France |
|
|
Query Reasoning on Trees with Types, Interleaving, and Counting22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain |
|
|
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. pp.442--453 |
|
|
Typing Component-Based Communication Systems11th 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⟩ |
|
|
Howe's Method for Calculi with Passivation20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462 |
|
|
Normal bisimulations in process calculi with passivation12th 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⟩ |
|
|
On the Expressiveness and Decidability of Higher-Order Process Calculi23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, Pennsylvania, United States. pp.145--155, ⟨10.1109/LICS.2008.8⟩ |
|
|
Boomerang: Resourceful Lenses for String DataACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), Jan 2008, San Francisco, California, United States. pp.407--419, ⟨10.1145/1328897.1328487⟩ |
|
|
Typing Communicating Component Assemblages7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. pp.125--136, ⟨10.1145/1449913.1449933⟩ |
|
|
Efficient Static Analysis of XML Paths and Types2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩ |
|
|
XPath Typing Using a Modal Logic with Converse for Finite TreesProceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1 |
|
|
Oz/K: A Kernel Language for Component-Based Open Programming6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, ⟨10.1145/1289971.1289980⟩ |
|
|
Efficient Static Analysis of XML Paths and TypesProceedings 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⟩ |
|
|
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data20th International Symposium on Distributed Computing (DISC), Sep 2006, Stockholm, Sweden. pp.269--283, ⟨10.1007/11864219_19⟩ |
|
|
Component-Oriented Programming with Sharing: Containment is not OwnershipGenerative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩ |
Components Operationally: Reversibility and System EngineeringSpringer, 16065, 2026, Lecture Notes in Computer Science, 978-3-031-99716-7. ⟨10.1007/978-3-031-99717-4⟩ |
|
|
|
Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)INRIA. INRIA, pp.174, 2009 |
|
|
From Complementary to Zipper SemanticsComponents 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⟩ |
|
|
Leaf-First Zipper Semantics2024 |
|
|
Optimizing a Non-Deterministic Abstract Machine with Environments2024 |
|
|
Non-Deterministic Abstract Machines[Research Report] RR-9475, Inria. 2022, pp.1-33 |
|
|
Stating and Handling Semantics with Skel and Necro[Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23 |
|
|
Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020 |
|
|
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines[Research Report] RR-9052, Inria. 2017 |
|
|
Howe's Method for Contextual Semantics[Research Report] RR-8750, Inria. 2015, pp.31 |
|
|
Logical Combinators for Rich Type Systems[Research Report] RR-8010, INRIA. 2012, pp.18 |
|
|
On the Count of Trees[Research Report] RR-7251, INRIA. 2010 |
|
|
Howe's Method for Early Bisimilarities[Research Report] RR-6773, INRIA. 2008, pp.69 |
|
|
Efficient Static Analysis of XML Paths and Types[Research Report] RR-6590, INRIA. 2008 |
|
|
Normal bisimulations in process calculi with passivation[Research Report] RR-6664, INRIA. 2008, pp.102 |
|
|
Oz/K: A kernel language for component-based open programming[Research Report] RR-6202, INRIA. 2007 |
|
|
The M-calculus: a Higher-Order Distributed Process Calculus[Research Report] RR-4361, INRIA. 2002 |
|
|
Static Analyses for Manipulations of Hierarchically Structured DataSoftware Engineering [cs.SE]. Université de Grenoble, 2011 |