Alan Schmitt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
17
Active years
2003–2024
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FORTE | Leaf-First Zipper Semantics. | Sergue Lenglet, Alan Schmitt |
| 2024 | FSCD | Optimizing a Non-Deterministic Abstract Machine with Environments. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Alan Schmitt |
| 2022 | CONCUR | Non-Deterministic Abstract Machines. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Alan Schmitt |
| 2022 | CPP | Certified abstract machines for skeletal semantics. | Guillaume Ambal, Sergue Lenglet, Alan Schmitt |
| 2022 | PPDP | Certified Derivation of Small-Step From Big-Step Skeletal Semantics. | Guillaume Ambal, Sergue Lenglet, Alan Schmitt, Camille Nos |
| 2022 | PPDP | A Faithful Description of ECMAScript Algorithms. | Adam Khayam, Louis Noizet, Alan Schmitt |
| 2018 | CPP | HOπ in Coq. | Sergue Lenglet, Alan Schmitt |
| 2018 | WWW | JSExplain: A Double Debugger for JavaScript. | Arthur Charguraud, Alan Schmitt, Thomas Wood |
| 2017 | CCS | Annotated Multisemantics To Prove Non-Interference Analyses. | Gurvan Cabon, Alan Schmitt |
| 2017 | LICS | Fully abstract encodings of λ-calculus in HOcore through abstract machines. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt |
| 2015 | CONCUR | Howe's Method for Contextual Semantics. | Sergue Lenglet, Alan Schmitt |
| 2015 | CPP | Certified Abstract Interpretation with Pretty-Big-Step Semantics. | Martin Bodin, Thomas P. Jensen, Alan Schmitt |
| 2015 | IJCAI | Expressive Logical Combinators for Free. | Pierre Genevs, Alan Schmitt |
| 2015 | ITP | HOCore in Coq. | Petar Maksimovic, Alan Schmitt |
| 2014 | POPL | A trusted mechanised JavaScript specification. | Martin Bodin, Arthur Charguraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith |
| 2013 | ESOP | Concurrent Flexible Reversibility. | Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2011 | CONCUR | Controlling Reversibility in Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2011 | IJCAI | Query Reasoning on Trees with Types, Interleaving, and Counting. | Everardo Brcenas, Pierre Genevs, Nabil Layada, Alan Schmitt |
| 2010 | ICALP | On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |
| 2009 | CONCUR | Howe's Method for Calculi with Passivation. | Sergue Lenglet, Alan Schmitt, Jean-Bernard Stefani |
| 2009 | FORTE | Typing Component-Based Communication Systems. | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2009 | FOSSACS | Normal Bisimulations in Calculi with Passivation. | Sergue Lenglet, Alan Schmitt, Jean-Bernard Stefani |
| 2008 | GPCE | Typing communicating component assemblages. | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
| 2008 | LICS | On the Expressiveness and Decidability of Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |
| 2008 | POPL | Boomerang: resourceful lenses for string data. | Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt |
| 2007 | GPCE | Oz/K: a kernel language for component-based open programming. | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
| 2007 | PLDI | Efficient static analysis of XML paths and types. | Pierre Genevs, Nabil Layada, Alan Schmitt |
| 2005 | CC | XML Goes Native: Run-Time Representations for Xtatic. | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt |
| 2005 | GPCE | Component-Oriented Programming with Sharing: Containment is Not Ownership. | Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani |
| 2005 | POPL | 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 |
| 2003 | POPL | The m-calculus: a higher-order distributed process calculus. | Alan Schmitt, Jean-Bernard Stefani |