ETAPS 2021: 27 March-1 April 2021, Luxembourg, Luxembourg (online)

ETAPS 2021 Best Papers

EATCS best paper award

Robin Piedeleu and Fabio Zanasi. A String Diagrammatic Axiomatisation of Finite-State Automata. FoSSaCS 2021

Bartek Klin, Sławomir Lasota and Szymon Toruńczyk. Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages. FoSSaCS 2021

EASST best paper award

Richard Schumi and Jun Sun. SpecTest: Specification-Based Compiler Testing. FASE 2021

EAPLS best paper award

Rupak Majumdar, Ramanathan S. Thinniyam and Georg Zetzsche. General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. TACAS 2021

EATCS best paper award nominations

Randal E. Bryant and Marijn J. H. Heule. Generating Extended Resolution Proofs with a BDD-Based SAT Solver. TACAS 2021

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett and Cesare Tinelli. Syntax-Guided Quantifier Instantiation. TACAS 2021

Matthijs Vákár. Reverse AD at Higher Types: Pure, Principled and Denotationally Correct. ESOP 2021

EASST best paper award nominations

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Kohl, Yannik Schnitzer and Maximilian Schwenger. RTLola on Board: Testing Real Driving Emissions on Your Phone. TACAS 2021

Joshua Gleitze, Heiko Klare  and Erik Burger. Finding a Universal Execution Strategy for Model Transformation Networks. FASE 2021

Maximilian P. L. Haslbeck and Peter Lammich. For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM. ESOP 2021

EAPLS best paper award nominations

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich and Wolfgang Ahrendt. Deductive Verification of Floating-Point Java Programs in KeY. TACAS 2021

Elvira Albert, Reiner Hähnle, Alicia Merayo and Dominic Steinhöfel. Certified Abstract Cost Analysis. FASE 2021

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky and Sharon Shoham. Run-time Complexity Bounds Using Squeezers. ESOP 2021