ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Tue 14 Apr 2015 10:30 - 11:00 at Skeel - Session 1 Chair(s): Jan Vitek

We describe the design, semantics, and implementation of a probabilistic programming language where programs are spreadsheet queries. Given an input database consisting of tables held in a spreadsheet, a query constructs a probabilistic model conditioned by the spreadsheet data, and returns an output database determined by inference. This work extends probabilistic programming systems in three novel aspects: embedding in spreadsheets, dependently-typed functions, and typed distinction between random- and query-variables. It empowers users with knowledge of statistical modelling to do inference simply by editing textual annotations within their spreadsheets, with no other coding.

Tue 14 Apr
Times are displayed in time zone: Azores change

10:30 - 12:30: Session 1ESOP at Skeel
Chair(s): Jan VitekNortheastern University
10:30 - 11:00
Talk
ESOP
Andrew D. GordonMicrosoft Research and University of Edinburgh, Claudio RussoMicrosoft Research, Marcin SzymczakUniversity of Edinburgh, Johannes BorgströmUppsala University, Nicolas RollandMicrosoft Research, Thore GraepelMicrosoft Research, Daniel TarlowMicrosoft Research
11:00 - 11:30
Talk
ESOP
Tie ChengCNRS, ENS, INRIA, Paris, France, Xavier RivalINRIA/CNRS/ENS Paris
11:30 - 12:00
Talk
ESOP
Neil TorontoBrigham Young University, Jay McCarthy, David Van Horn
12:00 - 12:30
Talk
ESOP
Manuel EberlTechnische Universität München, Johannes HölzlTechnische Universität München, Tobias NipkowTechnische Universität München