Probabilistic Programs as Spreadsheet Queries

  • Andrew D. Gordon
  • Claudio Russo
  • Marcin Szymczak
  • Johannes Borgström
  • Nicolas Rolland
  • Thore Graepel
  • Daniel Tarlow
Conference paper

DOI: 10.1007/978-3-662-46669-8_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9032)
Cite this paper as:
Gordon A.D. et al. (2015) Probabilistic Programs as Spreadsheet Queries. In: Vitek J. (eds) Programming Languages and Systems. ESOP 2015. Lecture Notes in Computer Science, vol 9032. Springer, Berlin, Heidelberg

Abstract

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: (1) embedding in spreadsheets, (2) dependently typed functions, and (3) 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Andrew D. Gordon
    • 1
    • 2
  • Claudio Russo
    • 1
  • Marcin Szymczak
    • 2
  • Johannes Borgström
    • 3
  • Nicolas Rolland
    • 1
  • Thore Graepel
    • 1
  • Daniel Tarlow
    • 1
  1. 1.Microsoft ResearchCambridgeUnited Kingdom
  2. 2.University of EdinburghEdinburghUnited Kingdom
  3. 3.Uppsala UniversityUppsalaSweden

Personalised recommendations