| Verified Software Toolchain (Invited Talk) / Andrew W. Appel |
| Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce |
| Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann |
| Typing Copyless Message Passing / Viviana Bono ; Chiara Messa ; Luca Padovani |
| Measure Transformer Semantics for Bayesian Machine Learning / Johannes Borgström ; Andrew D. Gordon ; James Margetson ; Jurgen Van Gael |
| Transfer Function Synthesis without Quantifier Elimination / Jörg Brauer ; Andy King |
| Semantics of Concurrent Revisions / Sebastian Burckhardt ; Daan Leijen |
| Type-Based Access Control in Data-Centric Systems / LuÃs Caires ; Jorge A. Pérez ; João Costa Seco ; Hugo Torres Vieira ; Lúcio Ferrão |
| Linear Absolute Value Relation Analysis / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot |
| Generalizing the Template Polyhedral Domain / Michael A. Colón ; Sriram Sankaranarayanan |
| Dataflow Analysis for Datarace-Free Programs / Arnab De ; Deepak D'Souza ; Rupesh Nasre |
| Compiling Information-Flow Security to Minimal Trusted Computing Bases / Cédric Fournet ; Jérémy Planul |
| Improving Strategies via SMT Solving / Thomas Martin Gawlitza ; David Monniaux |
| Typing Local Control and State Using Flow Analysis / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi |
| Barriers in Concurrent Separation Logic / Aquinas Hobor ; Cristian Gherghina |
| From Exponential to Polynomial-Time Security Typing via Principal Types / Sebastian Hunt ; David Sands |
| Secure the Clones: Static Enforcement of Policies for Secure Object Copying / Thomas Jensen ; Florent Kirchner ; David Pichardie |
| Biochemical Reaction Rules with Constraints / Mathias John ; Cédric Lhoussaine ; Joachim Niehren ; Cristian Versari |
| A Testing Theory for a Higher-Order Cryptographic Language (Extended Abstract) / Vasileios Koutavas ; Matthew Hennessy |
| A New Method for Dependent Parsing / Trevor Jim ; Yitzhak Mandelbaum |
| Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs |
| Algorithmic Nominal Game Semantics / Andrzej S. Murawski ; Nikos Tzevelekos |
| The Relationship between Separation Logic and Implicit Dynamic Frames / Matthew J. Parkinson ; Alexander J. Summers |
| Precise Interprocedural Analysis in the Presence of Pointers to the Stack / Pascal Sotin ; Bertrand Jeannet |
| General Bindings and Alpha-Equivalence in Nominal Isabelle / Christian Urban ; Cezary Kaliszyk |
| Author Index |
| Verified Software Toolchain (Invited Talk) / Andrew W. Appel |
| Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce |
| Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann |
| Typing Copyless Message Passing / Viviana Bono ; Chiara Messa ; Luca Padovani |
| Measure Transformer Semantics for Bayesian Machine Learning / Johannes Borgström ; Andrew D. Gordon ; James Margetson ; Jurgen Van Gael |
| Transfer Function Synthesis without Quantifier Elimination / Jörg Brauer ; Andy King |
