| 2018 | On Parallel Snapshot Isolation and Release/Acquire Consistency. | Azalea Raad, Ori Lahav, Viktor Vafeiadis |
| 2018 | Failure is Not an Option - An Exceptional Type Theory. | Pierre-Marie Pdrot, Nicolas Tabareau |
| 2018 | Dualizing Generalized Algebraic Data Types by Matrix Transposition. | Klaus Ostermann, Julian Jabs |
| 2018 | Program Verification by Coinduction. | Brandon M. Moore, Lucas Pea, Grigore Rosu |
| 2018 | Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. | Samuel Merten, Alexander Bagnall, Gordon Stewart |
| 2018 | HOBiT: Programming Lenses Without Using Lens Combinators. | Kazutaka Matsuda, Meng Wang |
| 2018 | Logical Reasoning for Disjoint Permissions. | Xuan Bach Le, Aquinas Hobor |
| 2018 | Concurrent Kleene Algebra: Free Model and Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Fabio Zanasi |
| 2018 | Eventual Consistency for CRDTs. | Radha Jagadeesan, James Riely |
| 2018 | A Verified Compiler from Isabelle/HOL to CakeML. | Lars Hupel, Tobias Nipkow |
| 2018 | Deadlock-Free Monitors. | Jafar Hamin, Bart Jacobs |
| 2018 | A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification. | Armal Guneau, Arthur Charguraud, Franois Pottier |
| 2018 | Session-Typed Concurrent Contracts. | Hannah Gommerstadt, Limin Jia, Frank Pfenning |
| 2018 | Paxos Consensus, Deconstructed and Abstracted. | lvaro Garca-Prez, Alexey Gotsman, Yuri Meshman, Ilya Sergey |
| 2018 | Correctness of a Concurrent Object Collector for Actor Languages. | Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad |
| 2018 | Modular Product Programs. | Marco Eilers, Peter Mller, Samuel Hitz |
| 2018 | Compositional Verification of Compiler Optimisations on Relaxed Memory. | Mike Dodds, Mark Batty, Alexey Gotsman |
| 2018 | Quantitative Analysis of Smart Contracts. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner |
| 2018 | Fine-Grained Semantics for Probabilistic Programs. | Benjamin Bichsel, Timon Gehr, Martin T. Vechev |
| 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 | An Assertion-Based Program Logic for Probabilistic Programs. | Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2018 | Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. | Joaqun Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden |
| 2018 | Fragment Abstraction for Concurrent Shape Analysis. | Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh |
| 2018 | Higher-Order Program Verification via HFL Model Checking. | Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe |
| 2018 | Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. | Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg |