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 | ||