The EAPLS Best Paper Award for ETAPS 2016

by Jurriaan Hage, April 11, 2016

At the ETAPS banquet the EAPLS Best Paper Award was awarded to Daniel Huang and Greg Morrisett for their ESOP paper An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages.

Dear all,

Every year at ETAPS, the PCs of ESOP, FASE, POST, TACAS and FOSSACS can nominate up to two papers for the EAPLS Best Paper Award. The award was presented to the winner at the ETAPS banquet.

The following excellent papers were nominated this year:

  • An Application of Computable Distributions to the Semantics of Probabilistic  Programming Languages by Daniel Huang and Greg Morrisett (ESOP)
  • Family-based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat by Philipp Chrszon, Clemens Dubsla, Sascha Klüppelholz and Christel Baier (FASE)
  • Computational Soundness Results for Stateful Applied Pi Calculus by Jian Xiong Shao, Yu Qin and Dengguo Feng (POST)
  • Coqoon: an IDE for Interactive Proof Development in Coq by Alexander Faithfull, Jesper Bengtson, Tassi Enrico and Carst Tankink (TACAS)

Each member of the EAPLS Steering Committee made a ranking of the papers, which were then combined into a single ranking. The clear winner in this ranking was

An Application of Computable Distributions to the Semantics of Probabilistic  Programming Languages by Daniel Huang and Greg Morrisett (ESOP)

On behalf of the Steering Committee of the EAPLS I would like to congratulate
both authors.

Jurriaan Hage
General Secretary