Write a Blog >>
Sat 23 Jan 2016 17:30 - 17:50 at Room St Petersburg II - Session 5 Chair(s): Chung-chieh Shan

We discuss semantic intricacies of conditioning, a main feature in probabilistic programming, and propose how to deal with these issues in an operational way and in a weakest pre-condition semantics. This includes the interplay between conditioning and possible non-termination as well as between conditioning and non-determinism. Furthermore, we propose a program transformation that eliminates conditioning from programs at the expense of introducing loops.

Sat 23 Jan

pps-2016
16:30 - 18:00: PPS 2016 - Session 5 at Room St Petersburg II
Chair(s): Chung-chieh ShanIndiana University
pps-201616:30 - 16:50
Talk
Nathanael L. AckermanHarvard University, Cameron FreerGamalon, Daniel RoyUniversity of Toronto
Pre-print
pps-201616:50 - 17:00
Meeting
pps-201617:00 - 17:20
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
Pre-print
pps-201617:20 - 17:30
Meeting
pps-201617:30 - 17:50
Talk
Friedrich GretzRWTH Aachen University, Nils JansenRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University, Federico OlmedoRWTH Aachen University
Pre-print
pps-201617:50 - 18:00
Meeting