Best Papers

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]

Who's online

We have 13 guests and no members online

Site Hosted by

ETAPS 2013

logo_sapienza