ETAPS 2015 Best Papers

EATCS best paper award

Konstantinos Mamouras
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism. FoSSaCS 2015 [doi link]

EASST best paper award

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, and Tatjana Petrov
Model checking Gene Regulatory Networks. TACAS 2015 [doi link]

EAPLS best paper award

Pierre Neron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth
A Theory of Name Resolution. ESOP 2015 [doi link]

Best paper award nominees

Delphine Demange, David Pichardie, and Leo Stefanesco
Verifying Fast and Sparse SSA-based Optimizations in Coq. CC 2015 [doi link]

Alain Darte and Alexandre Isoard
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes. CC 2015 [doi link]

Nicholas Allen, Bernhard Scholz, and Padmanabhan Krishnan
Staged Points-to Analysis for Large Code Bases. CC 2015 [doi link]

Radu Calinescu, Simos Gerasimou, and Alec Banks
Self-Adaptive Software with Decentralised Control Loops. FASE 2015 [doi link]

S.C.C. Blom, S. Darabi, and M. Huisman
Verification of Loop Parallelisations. FASE 2015 [doi link]

Timos Antonopoulos, Paul Hunter, Shahab Raza, and James Worrell
Three Variables Suffice for Real-Time Logic. FoSSaCS 2015 [doi link]

Binh Thanh Nguyen and Christoph Sprenger
Abstractions for Security Protocol Verification. POST 2015 [doi link]

Dmitry Chistikov, Rayna Dimitrova, and Rupak Majumdar
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. TACAS 2015 [doi link]