Abstract is missing.
- Verified Software Toolchain - (Invited Talk)Andrew W. Appel. 1-17 [doi]
- Polymorphic ContractsJoão Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce. 18-37 [doi]
- Proving Isolation Properties for Software Transactional MemoryAnnette Bieniusa, Peter Thiemann. 38-56 [doi]
- Typing Copyless Message PassingViviana Bono, Chiara Messa, Luca Padovani. 57-76 [doi]
- Measure Transformer Semantics for Bayesian Machine LearningJohannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael. 77-96 [doi]
- Transfer Function Synthesis without Quantifier EliminationJörg Brauer, Andy King. 97-115 [doi]
- Semantics of Concurrent RevisionsSebastian Burckhardt, Daan Leijen. 116-135 [doi]
- Type-Based Access Control in Data-Centric SystemsLuís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão. 136-155 [doi]
- Linear Absolute Value Relation AnalysisLiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. 156-175 [doi]
- Generalizing the Template Polyhedral DomainMichael Colón, Sriram Sankaranarayanan. 176-195 [doi]
- Dataflow Analysis for Datarace-Free ProgramsArnab De, Deepak D Souza, Rupesh Nasre. 196-215 [doi]
- Compiling Information-Flow Security to Minimal Trusted Computing BasesCédric Fournet, Jérémy Planul. 216-235 [doi]
- Improving Strategies via SMT SolvingThomas Martin Gawlitza, David Monniaux. 236-255 [doi]
- Typing Local Control and State Using Flow AnalysisArjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi. 256-275 [doi]
- Barriers in Concurrent Separation LogicAquinas Hobor, Cristian Gherghina. 276-296 [doi]
- From Exponential to Polynomial-Time Security Typing via Principal TypesSebastian Hunt, David Sands. 297-316 [doi]
- Secure the Clones - Static Enforcement of Policies for Secure Object CopyingThomas P. Jensen, Florent Kirchner, David Pichardie. 317-337 [doi]
- Biochemical Reaction Rules with ConstraintsMathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari. 338-357 [doi]
- A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract)Vasileios Koutavas, Matthew Hennessy. 358-377 [doi]
- A New Method for Dependent ParsingTrevor Jim, Yitzhak Mandelbaum. 378-397 [doi]
- Static Analysis of Run-Time Errors in Embedded Critical Parallel C ProgramsAntoine Miné. 398-418 [doi]
- Algorithmic Nominal Game SemanticsAndrzej S. Murawski, Nikos Tzevelekos. 419-438 [doi]
- The Relationship between Separation Logic and Implicit Dynamic FramesMatthew J. Parkinson, Alexander J. Summers. 439-458 [doi]
- Precise Interprocedural Analysis in the Presence of Pointers to the StackPascal Sotin, Bertrand Jeannet. 459-479 [doi]
- General Bindings and Alpha-Equivalence in Nominal IsabelleChristian Urban, Cezary Kaliszyk. 480-500 [doi]