Alan Schmitt

According to our database, Alan Schmitt authored at least 60 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt

Log. Methods Comput. Sci., 2024

Optimizing a Non-Deterministic Abstract Machine with Environments.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Leaf-First Zipper Semantics.

Sergueï Lenglet, Alan Schmitt

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

Deriving Abstract Interpreters from Skeletal Semantics.

Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

2022

A Faithful Description of ECMAScript Algorithms.

Adam Khayam, Louis Noizet, Alan Schmitt

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

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

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Semantics in Skel and Necro.

Louis Noizet, Alan Schmitt

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Certified abstract machines for skeletal semantics.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

Non-Deterministic Abstract Machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

HOπ in Coq.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

J. Autom. Reason., 2021

2019

Skeletal semantics and their interpretations.

Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt

Proc. ACM Program. Lang., 2019

2018

JSExplain: A Double Debugger for JavaScript.

Arthur Charguéraud, Alan Schmitt, Thomas Wood

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

HOπ in Coq.

Sergueï Lenglet, Alan Schmitt

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Fully abstract encodings of λ-calculus in HOcore through abstract machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Annotated Multisemantics To Prove Non-Interference Analyses.

Gurvan Cabon, Alan Schmitt

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2015

Efficiently Deciding μ-Calculus with Converse over Finite Trees.

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

ACM Trans. Comput. Log., 2015

POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem.

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

ACM SIGPLAN Notices, 2015

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.

José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

HOCore in Coq.

Petar Maksimovic, Alan Schmitt

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Expressive Logical Combinators for Free.

Pierre Genevès, Alan Schmitt

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Certified Abstract Interpretation with Pretty-Big-Step Semantics.

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

Howe's Method for Contextual Semantics.

Sergueï Lenglet, Alan Schmitt

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

A trusted mechanised JavaScript specification.

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

De la KAM avec un Processus d'Ordre Supe'rieur.

Damien Pous, Alan Schmitt

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

Pretty-big-step-semantics-based Certified Abstract Interpretation.

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version).

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the Semantics, 2013

Concurrent Flexible Reversibility.

Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Programming Languages and Systems, 2013

2011

Characterizing contextual equivalence in calculi with passivation.

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani

Inf. Comput., 2011

On the expressiveness and decidability of higher-order process calculi.

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

Inf. Comput., 2011

Query Reasoning on Trees with Types, Interleaving, and Counting.

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

Proceedings of the IJCAI 2011, 2011

Controlling Reversibility in Higher-Order Pi.

Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Static Analyses for Manipulations of Hierarchically Structured Data. (Analyses Statiques pour Manipulations de Données Structurées Hiérarchiquement).

Alan Schmitt

, 2011

2010

On the Count of Trees

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

CoRR, 2010

A Tree Logic with Graded Paths and Nominals

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

CoRR, 2010

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

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

On the Expressiveness of Polyadicity in Higher-Order Process Calculi.

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Normal Bisimulations in Calculi with Passivation.

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Typing Component-Based Communication Systems.

Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Formal Techniques for Distributed Systems, 2009

Howe's Method for Calculi with Passivation.

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Boomerang: resourceful lenses for string data.

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Typing communicating component assemblages.

Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Generative Programming and Component Engineering, 2008

2007

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 Trans. Program. Lang. Syst., 2007

Exploiting schemas in data synchronization.

J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt

J. Comput. Syst. Sci., 2007

Efficient static analysis of XML paths and types.

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

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

XPath Typing Using a Modal Logic with Converse for Finite Trees.

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

Proceedings of the PLAN-X 2007, 2007

A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.

J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt

Proceedings of the PLAN-X 2007, 2007

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

Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Generative Programming and Component Engineering, 2007

2006

Dream types: a domain specific type system for component-based message-oriented middleware.

Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani

ACM SIGSOFT Softw. Eng. Notes, 2006

Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.

Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt

Proceedings of the Distributed Computing, 20th International Symposium, 2006

XTATIC.

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

2005

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Component-Oriented Programming with Sharing: Containment is Not Ownership.

Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Generative Programming and Component Engineering, 2005

An Abstract Machine for the Kell Calculus.

Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

XML Goes Native: Run-Time Representations for Xtatic.

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

A component-based approach to distributed system management: a use case with self-manageable J2EE clusters.

Sara Bouchenak, Fabienne Boyer, Emmanuel Cecchet, Sébastien Jean, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.

Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Global Computing, IST/FET International Workshop, 2004

2003

The m-calculus: a higher-order distributed process calculus.

Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

2002

Safe Dynamic Binding in the Join Calculus.

Alan Schmitt

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

JoCaml: A Language for Concurrent Distributed and Mobile Programming.

Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt

Proceedings of the Advanced Functional Programming, 2002

2000

An Asynchronous, Distributed Implementation of Mobile Ambients.

Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt

Proceedings of the Theoretical Computer Science, 2000