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

10:30 - 12:30: ESOP - Session 1 at Skeel
Chair(s): Jan VitekNortheastern University
esop-2015-papers10:30 - 11:00
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
esop-2015-papers11:00 - 11:30
Tie ChengCNRS, ENS, INRIA, Paris, France, Xavier RivalINRIA/CNRS/ENS Paris
esop-2015-papers11:30 - 12:00
Neil TorontoBrigham Young University, Jay McCarthy, David Van Horn
esop-2015-papers12:00 - 12:30
Manuel EberlTechnische Universität München, Johannes HölzlTechnische Universität München, Tobias NipkowTechnische Universität München