Creative Commons
| Preface G. Barthe and F. Piessens | ||
| Typing Copyless Message Passing | ||
| Viviana Bono and Luca Padovani | ||
| Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs | ||
| Antoine Miné | ||
| Barriers in Concurrent Separation Logic: Now With Tool Support! | ||
| Aquinas Hobor and Cristian Gherghina | ||
| Secure the Clones | ||
| Thomas Jensen, Florent Kirchner and David Pichardie | ||
| General Bindings and Alpha-Equivalence in Nominal Isabelle | ||
| Christian Urban and Cezary Kaliszyk | ||
| The Relationship Between Separation Logic and Implicit Dynamic Frames | ||
| Matthew J. Parkinson and Alexander J. Summers | ||
| Transfer Function Synthesis without Quantifier Elimination | ||
| Jörg Brauer and Andy King | ||
| Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs | ||
| Thomas Mart Gawlitza and David Monniaux | ||
| Measure Transformer Semantics for Bayesian Machine Learning | ||
| Johannes Borgström, Andrew D Gordon, Michael Greenberg, James Margetson and Jurgen Van Gael | ||