| 2018 | A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification. Armaël Guéneau, Arthur Charguéraud, François Pottier |
| 2018 | A Separation Logic for a Promising Semantics. Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis |
| 2018 | A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek |
| 2018 | A Verified Compiler from Isabelle/HOL to CakeML. Lars Hupel, Tobias Nipkow |
| 2018 | An Abstract Interpretation Framework for Input Data Usage. Caterina Urban, Peter Müller |
| 2018 | An Assertion-Based Program Logic for Probabilistic Programs. Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
| 2018 | Behavioural Equivalence via Modalities for Algebraic Effects. Alex Simpson, Niels F. W. Voorneveld |
| 2018 | Compositional Verification of Compiler Optimisations on Relaxed Memory. Mike Dodds, Mark Batty, Alexey Gotsman |
| 2018 | Concurrent Kleene Algebra: Free Model and Completeness. Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi |
| 2018 | Consistent Subtyping for All. Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira |
| 2018 | Correctness of a Concurrent Object Collector for Actor Languages. Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad |
| 2018 | Deadlock-Free Monitors. Jafar Hamin, Bart Jacobs |
| 2018 | Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden |
| 2018 | Dualizing Generalized Algebraic Data Types by Matrix Transposition. Klaus Ostermann, Julian Jabs |
| 2018 | Evaluating Design Tradeoffs in Numeric Static Analysis for Java. Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks |
| 2018 | Eventual Consistency for CRDTs. Radha Jagadeesan, James Riely |
| 2018 | Explicit Effect Subtyping. Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers |
| 2018 | Failure is Not an Option - An Exceptional Type Theory. Pierre-Marie Pédrot, Nicolas Tabareau |
| 2018 | Fine-Grained Semantics for Probabilistic Programs. Benjamin Bichsel, Timon Gehr, Martin T. Vechev |
| 2018 | Fragment Abstraction for Concurrent Shape Analysis. Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh |
| 2018 | HOBiT: Programming Lenses Without Using Lens Combinators. Kazutaka Matsuda, Meng Wang |
| 2018 | Higher-Order Program Verification via HFL Model Checking. Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe |
| 2018 | How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2018 | Let Arguments Go First. Ningning Xie, Bruno C. d. S. Oliveira |
| 2018 | Logical Reasoning for Disjoint Permissions. Xuan Bach Le, Aquinas Hobor |
| 2018 | Modular Product Programs. Marco Eilers, Peter Müller, Samuel Hitz |
| 2018 | On Parallel Snapshot Isolation and Release/Acquire Consistency. Azalea Raad, Ori Lahav, Viktor Vafeiadis |
| 2018 | On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. Bernardo Toninho, Nobuko Yoshida |
| 2018 | Paxos Consensus, Deconstructed and Abstracted. Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey |
| 2018 | Program Verification by Coinduction. Brandon M. Moore, Lucas Peña, Grigore Rosu |
| 2018 | Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Amal Ahmed |
| 2018 | Quantitative Analysis of Smart Contracts. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner |
| 2018 | Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. Lau Skorstengaard, Dominique Devriese, Lars Birkedal |
| 2018 | Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg |
| 2018 | Session-Typed Concurrent Contracts. Hannah Gommerstadt, Limin Jia, Frank Pfenning |
| 2018 | Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo |
| 2018 | Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. Samuel Merten, Alexander Bagnall, Gordon Stewart |