Alan Schmitt

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 17

Top Topics

Abstract Interpretation

Information Flow

Abstract Machine

Top Venues

Publications

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