ETAPS 2012 Best Papers

EAPLS best paper award

Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer. Language-theoretic abstraction refinement, FASE 2012. [doi link]

EASST best paper award

Aharon Abadi, Ran Ettinger, Yishai A. Feldman. Fine slicing - theory and applications for computation extraction. FASE 2012. [doi link]

Fu Song, Tayssir Touili. Pushdown model checking for malware detection. TACAS 2012. [doi link]

EATCS best paper award

Sebastian Preugschat, Thomas Wilke. Effective characterizations of simple fragments of temporal logic using prophetic automata. FoSSaCS 2012. [doi link]

Best paper award nominees

Danel Ahman, James Chapman, Tarmo Uustalu. When Is a container a comonad? FoSSaCS 2012. [doi link]

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio. Type-based analysis of PKCS#11 key management. POST 2012. [doi link]

Pierre-Malo Deniélou, Nobuko Yoshida. Multiparty session types meet communicating automata. ESOP 2012. [doi link]

Paul Downen, Zena M. Ariola. A systematic approach to delimited control with multiple prompts. ESOP 2012. [doi link]

Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan. Parametric verification of address space separation. POST 2012. [doi link]

Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam. Modeling and verification of a dual chamber implantable pacemaker. TACAS 2012. [doi link]

Frédéric Lang, Radu Mateescu. Partial model checking using networks of labelled transition systems and Boolean equation systems. TACAS 2012. [doi link]

Miriam Paiola, Bruno Blanchet. Verification of security protocols with lists: from length one to unbounded length. POST 2012. [doi link]