Probabilistic Programs as Spreadsheet Queries

Andrew D. Gordon; Claudio V. Russo; Marcin Szymczak; Johannes Borgström; Nicolas Rolland; Thore Graepel; Daniel Tarlow

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

Probabilistic Programs as Spreadsheet Queries

Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
Publisher	Springer
Pages	1-25
Number of pages	25
Volume	9032
ISBN (Electronic)	978-3-662-46669-8
ISBN (Print)	978-3-662-46668-1
DOIs	https://doi.org/10.1007/978-3-662-46669-8_1
Publication status	Published - 2015

Access to Document

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

Gordon Russo ET AL 2015 Probabilistic Programs as spreadsheet QueriesAccepted author manuscript, 666 KB

http://dx.doi.org/10.1007/978-3-662-46669-8_1

Cite this

Gordon, A. D., Russo, C. V., Szymczak, M., Borgström, J., Rolland, N., Graepel, T., & Tarlow, D. (2015). Probabilistic Programs as Spreadsheet Queries. In Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings (Vol. 9032, pp. 1-25). Springer. https://doi.org/10.1007/978-3-662-46669-8_1

Gordon, Andrew D. ; Russo, Claudio V. ; Szymczak, Marcin et al. / Probabilistic Programs as Spreadsheet Queries. Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Vol. 9032 Springer, 2015. pp. 1-25

@inproceedings{a6c66577d9524d24baa32707102e7470,

title = "Probabilistic Programs as Spreadsheet Queries",

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.",

author = "Gordon, {Andrew D.} and Russo, {Claudio V.} and Marcin Szymczak and Johannes Borgstr{\"o}m and Nicolas Rolland and Thore Graepel and Daniel Tarlow",

year = "2015",

doi = "10.1007/978-3-662-46669-8_1",

language = "English",

isbn = "978-3-662-46668-1",

volume = "9032",

pages = "1--25",

booktitle = "Programming Languages and Systems",

publisher = "Springer",

address = "United Kingdom",

}

Gordon, AD, Russo, CV, Szymczak, M, Borgström, J, Rolland, N, Graepel, T & Tarlow, D 2015, Probabilistic Programs as Spreadsheet Queries. in Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. vol. 9032, Springer, pp. 1-25. https://doi.org/10.1007/978-3-662-46669-8_1

Probabilistic Programs as Spreadsheet Queries. / Gordon, Andrew D.; Russo, Claudio V.; Szymczak, Marcin et al.
Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Vol. 9032 Springer, 2015. p. 1-25.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Probabilistic Programs as Spreadsheet Queries

AU - Gordon, Andrew D.

AU - Russo, Claudio V.

AU - Szymczak, Marcin

AU - Borgström, Johannes

AU - Rolland, Nicolas

AU - Graepel, Thore

AU - Tarlow, Daniel

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-662-46669-8_1

DO - 10.1007/978-3-662-46669-8_1

M3 - Conference contribution

SN - 978-3-662-46668-1

VL - 9032

SP - 1

EP - 25

BT - Programming Languages and Systems

PB - Springer

ER -

Gordon AD, Russo CV, Szymczak M, Borgström J, Rolland N, Graepel T et al. Probabilistic Programs as Spreadsheet Queries. In Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Vol. 9032. Springer. 2015. p. 1-25 doi: 10.1007/978-3-662-46669-8_1

Probabilistic Programs as Spreadsheet Queries

Abstract

Access to Document

Fingerprint

Cite this