The EAPLS Best Paper Award for ETAPS 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.
in
EAPLS news
by
Jurriaan Hage on
April 11, 2016
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:
Jurriaan Hage
General Secretary
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)
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