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