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]