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 |