| Formatted contents note |
<br/>Brzozowski’s and Up-To Algorithms for Must Testing<br/>Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva<br/><br/>Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes<br/>Koichi Fujima, Sohei Ito, Naoki Kobayashi<br/><br/>Model Checking Dynamic Pushdown Networks<br/>Fu Song, Tayssir Touili<br/><br/>Robustness Analysis of Finite Precision Implementations<br/>Eric Goubault, Sylvie Putot<br/><br/>A Hoare Logic for SIMT Programs<br/>Kensuke Kojima, Atsushi Igarashi<br/><br/>The Undefined Domain: Precise Relational Information for Entities That Do Not Exist<br/>Holger Siegel, Bogdan Mihaila, Axel Simon<br/><br/>Separation Logic Modulo Theories<br/>Juan Antonio Navarro Pérez, Andrey Rybalchenko<br/><br/>Bi-Abduction with Pure Properties for Specification Inference<br/>Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin<br/><br/>Laws of Programming for References<br/>Giovanny Lucero, David Naumann, Augusto Sampaio<br/><br/>Dynamic Alias Protection with Aliasing Contracts<br/>Janina Voigt, Alan Mycroft<br/><br/>Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance<br/>Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.<br/><br/>Internal Deployment of the Parfait Static Code Analysis Tool at Oracle<br/>Cristina Cifuentes, Nathan Keynes<br/><br/>Secure Compilation of Object-Oriented Components to Protected Module Architectures<br/>Marco Patrignani, Dave Clarke, Frank Piessens<br/><br/>Generalized Quantitative Analysis of Metric Transition Systems<br/>Uli Fahrenberg, Axel Legay<br/><br/>GDSL: A Universal Toolkit for Giving Semantics to Machine Language<br/>Julian Kranz, Alexander Sepp, Axel Simon<br/><br/>Paragon for Practical Programming with Information-Flow Control<br/>Niklas Broberg, Bart van Delft, David Sands<br/><br/>ThisJava: An Extension of Java with Exact Types<br/>Hyunik Na, Sukyoung Ryu<br/><br/>Semantics of Probabilistic Programs: A Weak Limit Approach<br/>Alessandra Di Pierro, Herbert Wiklicky<br/><br/>Ambivalent Types for Principal Type Inference with GADTs<br/>Jacques Garrigue, Didier Rémy<br/> |
