Alan Schmitt

69 papers A* 9A 2B 14C 3Journal 14Unranked 23
YearRankTypeTitle / Venue / Authors
2026 — book
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Components Operationally: Reversibility and System Engineering
Claudio Antares Mezzina, Alan Schmitt
2026 — conf
From Complementary to Zipper Semantics.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Sergueï Lenglet, Camille Noûs, Alan Schmitt
2024 J jnl
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.
Log. Methods Comput. Sci.
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2024 C conf
Leaf-First Zipper Semantics.
FORTE
Sergueï Lenglet, Alan Schmitt
2024 B conf
Optimizing a Non-Deterministic Abstract Machine with Environments.
FSCD
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
2023 — conf
Deriving Abstract Interpreters from Skeletal Semantics.
EXPRESS/SOS
Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt
2022 C conf
A Faithful Description of ECMAScript Algorithms.
PPDP
Adam Khayam, Louis Noizet, Alan Schmitt
2022 C conf
Certified Derivation of Small-Step From Big-Step Skeletal Semantics.
PPDP
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs
2022 B conf
Certified abstract machines for skeletal semantics.
CPP
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt
2022 J jnl
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines.
CoRR
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2022 B conf
Non-Deterministic Abstract Machines.
CONCUR
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
2022 — conf
Semantics in Skel and Necro.
ICTCS
Louis Noizet, Alan Schmitt
2021 J jnl
HOπ in Coq.
J. Autom. Reason.
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt
2019 J jnl
Skeletal semantics and their interpretations.
Proc. ACM Program. Lang.
Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt
2018 B conf
HOπ in Coq.
CPP
Sergueï Lenglet, Alan Schmitt
2018 — conf
JSExplain: A Double Debugger for JavaScript.
WWW (Companion Volume)
Arthur Charguéraud, Alan Schmitt, Thomas Wood
2018 J jnl
Skeletal Semantics and their Interpretations.
CoRR
Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt
2017 — conf
Annotated Multisemantics To Prove Non-Interference Analyses.
PLAS@CCS
Gurvan Cabon, Alan Schmitt
2017 A* conf
Fully abstract encodings of λ-calculus in HOcore through abstract machines.
LICS
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2015 B conf
Certified Abstract Interpretation with Pretty-Big-Step Semantics.
CPP
Martin Bodin, Thomas P. Jensen, Alan Schmitt
2015 J jnl
Efficiently Deciding μ-Calculus with Converse over Finite Trees.
ACM Trans. Comput. Log.
Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert
2015 A* conf
Expressive Logical Combinators for Free.
IJCAI
Pierre Genevès, Alan Schmitt
2015 B conf
HOCore in Coq.
ITP
Petar Maksimovic, Alan Schmitt
2015 B conf
Howe's Method for Contextual Semantics.
CONCUR
Sergueï Lenglet, Alan Schmitt
2015 — conf
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.
TGC
José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt
2015 J jnl
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem.
ACM SIGPLAN Notices
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
2014 A* conf
A trusted mechanised JavaScript specification.
POPL
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
2014 — conf
De la KAM avec un Processus d'Ordre Supe'rieur.
JFLA
Damien Pous, Alan Schmitt
2014 — conf
Pretty-big-step-semantics-based Certified Abstract Interpretation.
JFLA
Martin Bodin, Thomas P. Jensen, Alan Schmitt
2013 A conf
Concurrent Flexible Reversibility.
ESOP
Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2013 — conf
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version).
Festschrift for Dave Schmidt
Martin Bodin, Thomas P. Jensen, Alan Schmitt
2013 — ed.
Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy.
DBPL
Todd J. Green, Alan Schmitt
2011 J jnl
Characterizing contextual equivalence in calculi with passivation.
Inf. Comput.
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2011 B conf
Controlling Reversibility in Higher-Order Pi.
CONCUR
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2011 J jnl
On the expressiveness and decidability of higher-order process calculi.
Inf. Comput.
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2011 A* conf
Query Reasoning on Trees with Types, Interleaving, and Counting.
IJCAI
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2011 — book
Static Analyses for Manipulations of Hierarchically Structured Data. (Analyses Statiques pour Manipulations de Données Structurées Hiérarchiquement).
Alan Schmitt
2010 J jnl
A Tree Logic with Graded Paths and Nominals
CoRR
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010 J jnl
On the Count of Trees
CoRR
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010 — conf
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
ICALP (2)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2009 B conf
Howe's Method for Calculi with Passivation.
CONCUR
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2009 — ed.
JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings
JFLA
Alan Schmitt
2009 B conf
Normal Bisimulations in Calculi with Passivation.
FoSSaCS
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2009 — conf
On the Expressiveness of Polyadicity in Higher-Order Process Calculi.
ICTCS
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2009 — conf
Typing Component-Based Communication Systems.
FMOODS/FORTE
Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2008 A* conf
Boomerang: resourceful lenses for string data.
POPL
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt
2008 A* conf
On the Expressiveness and Decidability of Higher-Order Process Calculi.
LICS
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2008 B conf
Typing communicating component assemblages.
GPCE
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani
2007 — conf
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
PLAN-X
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
2007 J jnl
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem.
ACM Trans. Program. Lang. Syst.
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
2007 A* conf
Efficient static analysis of XML paths and types.
PLDI
Pierre Genevès, Nabil Layaïda, Alan Schmitt
2007 J jnl
Exploiting schemas in data synchronization.
J. Comput. Syst. Sci.
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
2007 B conf
Oz/K: a kernel language for component-based open programming.
GPCE
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani
2007 — conf
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X
Pierre Genevès, Nabil Layaïda, Alan Schmitt
2006 A conf
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.
DISC
Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt
2006 J jnl
Dream types: a domain specific type system for component-based message-oriented middleware.
ACM SIGSOFT Softw. Eng. Notes
Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani
2006 — conf
XTATIC.
PLAN-X
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
2005 — conf
An Abstract Machine for the Kell Calculus.
FMOODS
Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani
2005 A* conf
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.
POPL
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
2005 B conf
Component-Oriented Programming with Sharing: Containment is Not Ownership.
GPCE
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
2005 — conf
Dream types: a domain specific type system for component-based message-oriented middleware.
SAVCBS@ESEC/FSE
Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani
2005 — conf
Exploiting Schemas in Data Synchronization.
DBPL
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
2005 B conf
XML Goes Native: Run-Time Representations for Xtatic.
CC
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
2004 — conf
A component-based approach to distributed system management: a use case with self-manageable J2EE clusters.
ACM SIGOPS European Workshop
Sara Bouchenak, Fabienne Boyer, Emmanuel Cecchet, Sébastien Jean, Alan Schmitt, Jean-Bernard Stefani
2004 — conf
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.
Global Computing
Alan Schmitt, Jean-Bernard Stefani
2003 A* conf
The m-calculus: a higher-order distributed process calculus.
POPL
Alan Schmitt, Jean-Bernard Stefani
2002 — conf
JoCaml: A Language for Concurrent Distributed and Mobile Programming.
Advanced Functional Programming
Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt
2002 — conf
Safe Dynamic Binding in the Join Calculus.
IFIP TCS
Alan Schmitt
2000 — conf
An Asynchronous, Distributed Implementation of Mobile Ambients.
IFIP TCS
Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt