Probabilistic Programs as Spreadsheet Queries. - Andrew D. Gordon 001; Claudio V. Russo; Marcin Szymczak 002; Johannes Borgström; Nicolas Rolland; Thore Graepel; Daniel Tarlow (ESOP, 2015)

A lambda-calculus foundation for universal probabilistic programming. - Johannes Borgström; Ugo Dal Lago; Andrew D. Gordon 001; Marcin Szymczak 002 (ICFP, 2016)

Fabular: regression formulas as probabilistic programming. - Johannes Borgström; Andrew D. Gordon 001; Long Ouyang; Claudio V. Russo; Adam Scibior; Marcin Szymczak 002 (POPL, 2016)

Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence. - Marcin Szymczak 002; Joost-Pieter Katoen (SETSS, 2019)

Tabular: Probabilistic Inference from the Spreadsheet. - Andrew D. Gordon 001; Claudio V. Russo; Marcin Szymczak 002; Johannes Borgström; Nicolas Rolland; Thore Graepel; Daniel Tarlow (Foundations of Probabilistic Programming, 2020)

Weakest Preexpectation Semantics for Bayesian Inference. - Marcin Szymczak 002; Joost-Pieter Katoen (CoRR, 2020)