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]