Creative Commons
| Preface A. D. Gordon, M. Hicks | ||
| CFA2: a Context-Free Approach to Control-Flow Analysis | ||
| Dimitrios Vardoulakis and Olin Shivers | ||
| Amortised Resource Analysis with Separation Logic | ||
| Robert Atkey | ||
| TRX: A Formally Verified Parser Interpreter | ||
| Adam Koprowski and Henri Binsztok | ||
| Logical Concurrency Control from Sequential Proofs | ||
| Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath and Kapil Vaswani | ||
| Attacker Control and Impact for Confidentiality and Integrity | ||
| Aslan Askarov and Andrew Myers | ||
| Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis | ||
| Assalé Adjé, Stéphane Gaubert and Eric Goubault | ||
| A Hoare logic for the coinductive trace-based big-step semantics of While | ||
| Keiko Nakata and Tarmo Uustalu | ||