The prize of "Best ETAPS Paper" is presented to the best theoretical paper at ETAPS.
European Association for Programming Languages and Systems (EAPLS) also presents a Best Paper Award, which has been awarded since ETAPS'98. A brief history of the prize follows below.
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja and Federico Olmedo: "Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs (ESOP)"
Neil Ghani, Fredrik Nordvall Forsberg, and Alex Simpson: "Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (FDOSSACS)"
Christel Baier, Joachim Klein, Sascha Klueppelholz and Steffen Märcker: "Computing Conditional Properties in Markovian Models Efficiently"
Naoki Kobayashi, Kazuhiro Inaba and Takeshi Tsukada: "Unsafe Order-2 Tree Languages are Context-Sensitive"