Programming languages and Systems/

Brzozowski’s and Up-To Algorithms for Must Testing
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva

Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes
Koichi Fujima, Sohei Ito, Naoki Kobayashi

Model Checking Dynamic Pushdown Networks
Fu Song, Tayssir Touili

Robustness Analysis of Finite Precision Implementations
Eric Goubault, Sylvie Putot

A Hoare Logic for SIMT Programs
Kensuke Kojima, Atsushi Igarashi

The Undefined Domain: Precise Relational Information for Entities That Do Not Exist
Holger Siegel, Bogdan Mihaila, Axel Simon

Separation Logic Modulo Theories
Juan Antonio Navarro Pérez, Andrey Rybalchenko

Bi-Abduction with Pure Properties for Specification Inference
Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin

Laws of Programming for References
Giovanny Lucero, David Naumann, Augusto Sampaio

Dynamic Alias Protection with Aliasing Contracts
Janina Voigt, Alan Mycroft

Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance
Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.

Internal Deployment of the Parfait Static Code Analysis Tool at Oracle
Cristina Cifuentes, Nathan Keynes

Secure Compilation of Object-Oriented Components to Protected Module Architectures
Marco Patrignani, Dave Clarke, Frank Piessens

Generalized Quantitative Analysis of Metric Transition Systems
Uli Fahrenberg, Axel Legay

GDSL: A Universal Toolkit for Giving Semantics to Machine Language
Julian Kranz, Alexander Sepp, Axel Simon

Paragon for Practical Programming with Information-Flow Control
Niklas Broberg, Bart van Delft, David Sands

ThisJava: An Extension of Java with Exact Types
Hyunik Na, Sukyoung Ryu

Semantics of Probabilistic Programs: A Weak Limit Approach
Alessandra Di Pierro, Herbert Wiklicky

Ambivalent Types for Principal Type Inference with GADTs
Jacques Garrigue, Didier Rémy