ETAPS 2013: 16-24 March 2013, Rome, Italy

ETAPS 2013 Best Papers

EAPLS best paper award

Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio Russo. Deriving probability density functions from probabilistic functional programs. TACAS 2013. [doi link]

EASST best paper award

Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík, Bengt Jonsson, Ahmed Rezine. An integrated specification and verification technique for highly concurrent data structures. TACAS 2013. [doi link]

EATCS best paper award

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei. Logical foundations of secure resource management in protocol implementations. POST 2013. [doi link]

Springer's best student paper awards

Grigori Fedyukovich, Ondrej Sery, Natasha Sharygina. eVolCheck: incremental upgrade checker for C. TACAS 2013. [doi link]

Robbert Krebbers, Freek Wiedijk. Separation logic for non-local control flow and block scope variables. FoSSaCS 2013. [doi link]

Shin-ya Katsumata, Tetsuya Sato. Preorders on monads and coalgebraic simulations. FoSSaCS 2013. [doi link]

Best paper award nominees

Faris Abou-Saleh, Dirk Pattinson. Comodels and effects in mathematical operational semantics. FoSSaCS 2013. [doi link]

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. On-the-fly exact computation of bisimilarity distances. TACAS 2013. [doi link]

Arbi Bouchoucha, Houari Sahraoui, Pierre L'Ecuyer. Towards understanding the behavior of classes Using probabilistic models of program inputs. FASE 2013. [doi link]

Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer. Interleaving and lock-step semantics for analysis and verification of GPU kernels. ESOP 2013. [doi link]

Fredrik Dahlqvist, Dirk Pattinson. Some Sahlqvist completeness results for coalgebraic modal logics. FoSSaCS 2013. [doi link]

Pietro Di Gianantonio, Abbas Edalat. A language for differentiable functions. FoSSaCS 2013. [doi link]

Alexey Gotsman, Noam Rinetzky, Hongseok Yang. Verifying concurrent memory reclamation algorithms with Grace. ESOP 2013. [doi link]

Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely. Quarantining weakness. ESOP 2013. [doi link]

Nuno Macedo, Alcino Cunha. Implementing QVT-R bidirectional model transformations using Alloy. FASE 2013. [doi link]