ETAPS 2016: 2-8 April 2016, Eindhoven, The Netherlands

ETAPS 2016 Best Papers

EATCS best paper award

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja and Federico Olmedo
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. ESOP 2016 [doi link]

Neil Ghani, Fredrik Nordvall Forsberg and Alex Simpson
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. FoSSaCS 2016 [doi link]

EASST best paper award

Marcus Gerhold and Mariëlle Stoelinga
Model-Based Testing of Probabilistic Systems. FASE 2016 [doi link]

Veronique Cortier, Antoine Dallon and Stephanie Delaune
Bounding the Number of Agents, for Equivalence Too. POST 2016 [doi link]

EAPLS best paper award

Daniel Huang and Greg Morrisett
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. ESOP 2016 [doi link]

Best paper award nominees

Michael Blondin, Alain Finkel, Christoph Haase and Serge Haddad
Approaching the Coverability Problem Continuously. TACAS 2016 [doi link]

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier
Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat. FASE 2016 [doi link]

Przemysław Daca, Thomas Henzinger, Jan Křetínský and Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS 2016 [doi link]

Alexander Faithfull, Jesper Bengtson, Tassi Enrico and Carst Tankink
Coqoon: an IDE for Interactive Proof Development in Coq. TACAS 2016 [doi link]

Gudmund Grov and Vytautas Tumas
Tactics for the Dafny Program Verifier. TACAS 2016 [doi link]

P. Madhusudan, Daniel Neider and Shambwaditya Saha
Synthesizing Piece-wise Functions by Learning Classifiers. TACAS 2016 [doi link]

Antoine Miné, Jason Breck and Thomas Reps
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. ESOP 2016 [doi link]

Jian Xiong Shao, Yu Qin and Dengguo Feng
Computational Soundness Results for Stateful Applied pi Calculus. POST 2016 [doi link]

Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer and Jennifer Plöger
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. FASE 2016 [doi link]