ETAPS 2014: 5-13 April 2014, Grenoble, France

ETAPS 2014 Best Papers

EAPLS best paper award

Justin Slepak, Olin Shivers, Panagiotis Manolios.
An array-oriented language with static rank polymorphism. ESOP 2014. [doi link]

EASST best paper award

Christian Von Essen, Dimitra Giannakopoulou.
Analyzing the next generation airborne collision avoidance system. TACAS 2014. [doi link]

EATCS best paper award

Christel Baier, Joachim Klein, Sascha Klueppelholz, Steffen Märcker.
Computing conditional probabilities in Markovian models efficiently. TACAS 2014. [doi link]

Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada.
Unsafe order-2 tree languages are context-sensitive. FoSSaCS 2014. [doi link]

Best paper award nominees

Gilles Barthe, Boris Köpf, Laurent Mauborgne, Martin Ochoa.
Leakage resilience against concurrent cache attacks. POST 2014. [doi link]

Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdjan Krstic, Pierluigi San Pietro.
SMT-based checking of SOLOIST over sparse traces. FASE 2014. [doi link]

Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta.
Formal design of fault detection and identification components with temporal epistemic logic. TACAS 2014. [doi link]

Ravi Mangal, Mayur Naik, Hongseok Yang.
A correspondence between two approaches to interprocedural analysis in the presence of join. ESOP 2014. [doi link]

Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke
Abstract channels and their robust information-leakage ordering. POST 2014. [doi link]

Luca Padovani.
Type reconstruction for the linear π-calculus with composite and equi-recursive types. FOSSACS 2014. [doi link]

Perdita Stevens.
Bidirectionally tolerating inconsistency: partial transformations. FASE 2014. [doi link]