---
references:
- id: AkbayrakExtended2021
  accessed:
    - year: 2024
      month: 2
      day: 23
  author:
    - family: Akbayrak
      given: Semih
    - family: Bocharov
      given: Ivan
    - family: Vries
      given: Bert
      non-dropping-particle: de
  citation-key: AkbayrakExtended2021
  container-title: Entropy
  DOI: 10.3390/e23070815
  ISSN: 1099-4300
  issue: '7'
  issued:
    - year: 2021
      month: 7
  language: en
  number: '7'
  page: '815'
  publisher: Multidisciplinary Digital Publishing Institute
  title: >-
    Extended Variational Message Passing for Automated Approximate Bayesian
    Inference
  type: article-journal
  URL: https://www.mdpi.com/1099-4300/23/7/815
  volume: '23'

- id: BarberBayesian2012
  author:
    - family: Barber
      given: David
  call-number: QA267 .B347 2012
  citation-key: BarberBayesian2012
  event-place: Cambridge ; New York
  ISBN: 978-0-521-51814-7
  issued:
    - year: 2012
  number-of-pages: '697'
  publisher: Cambridge University Press
  publisher-place: Cambridge ; New York
  title: Bayesian reasoning and machine learning
  type: book
  URL: http://www.cs.ucl.ac.uk/staff/d.barber/brml/

- id: BaudartCompiling2021
  accessed:
    - year: 2021
      month: 11
      day: 20
  author:
    - family: Baudart
      given: Guillaume
    - family: Burroni
      given: Javier
    - family: Hirzel
      given: Martin
    - family: Mandel
      given: Louis
    - family: Shinnar
      given: Avraham
  citation-key: BaudartCompiling2021
  container-title: arXiv:1810.00873 [cs, stat]
  issued:
    - year: 2021
      month: 4
      day: 11
  language: en
  title: >-
    Compiling Stan to Generative Probabilistic Languages and Extension to Deep
    Probabilistic Programming
  type: article-journal
  URL: http://arxiv.org/abs/1810.00873

- id: BaydinEtalumis2019
  accessed:
    - year: 2019
      month: 11
      day: 30
  author:
    - family: Baydin
      given: Atılım Güneş
    - family: Shao
      given: Lei
    - family: Bhimji
      given: Wahid
    - family: Heinrich
      given: Lukas
    - family: Meadows
      given: Lawrence
    - family: Liu
      given: Jialin
    - family: Munk
      given: Andreas
    - family: Naderiparizi
      given: Saeid
    - family: Gram-Hansen
      given: Bradley
    - family: Louppe
      given: Gilles
    - family: Ma
      given: Mingfei
    - family: Zhao
      given: Xiaohui
    - family: Torr
      given: Philip
    - family: Lee
      given: Victor
    - family: Cranmer
      given: Kyle
    - family: Prabhat
      given: ''
    - family: Wood
      given: Frank
  citation-key: BaydinEtalumis2019
  container-title: arXiv:1907.03382 [cs, stat]
  issued:
    - year: 2019
      month: 8
      day: 27
  title: >-
    Etalumis: Bringing Probabilistic Programming to Scientific Simulators at
    Scale
  type: paper-conference
  URL: http://arxiv.org/abs/1907.03382

- id: BishopPattern2006
  author:
    - family: Bishop
      given: Christopher M.
  call-number: Q327 .B52 2006
  citation-key: BishopPattern2006
  collection-title: Information science and statistics
  event-place: New York
  ISBN: 0-387-31073-8
  issued:
    - year: 2006
  number-of-pages: '738'
  publisher: Springer
  publisher-place: New York
  title: Pattern recognition and machine learning
  type: book

- id: BuntineGuide1996
  author:
    - family: Buntine
      given: W.L.
  citation-key: BuntineGuide1996
  container-title: IEEE Transactions on Knowledge and Data Engineering
  DOI: 10.1109/69.494161
  ISSN: 1041-4347
  issue: '2'
  issued:
    - year: 1996
      month: 4
  page: 195-210
  title: A guide to the literature on learning probabilistic networks from data
  type: article-journal
  URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.45
  volume: '8'

- id: BuntineOperations1994
  accessed:
    - year: 2021
      month: 11
      day: 12
  author:
    - family: Buntine
      given: W. L.
  citation-key: BuntineOperations1994
  container-title: Journal of Artificial Intelligence Research
  DOI: 10.1613/jair.62
  ISSN: 1076-9757
  issue: '1'
  issued:
    - year: 1994
      month: 12
      day: 1
  language: en
  page: 159-225
  title: Operations for Learning with Graphical Models
  type: article-journal
  volume: '2'

- id: CarrollTour
  author:
    - family: Carroll
      given: Colin
  citation-key: CarrollTour
  container-title: https://colcarroll.github.io
  title: A tour of probabilistic programming language APIs
  type: post-weblog
  URL: https://colcarroll.github.io/ppl-api/

- id: CoxFactor2019
  accessed:
    - year: 2019
      month: 12
      day: 10
  author:
    - family: Cox
      given: Marco
    - family: Laar
      given: Thijs
      non-dropping-particle: van de
    - family: Vries
      given: Bert
      non-dropping-particle: de
  citation-key: CoxFactor2019
  container-title: International Journal of Approximate Reasoning
  container-title-short: International Journal of Approximate Reasoning
  DOI: 10.1016/j.ijar.2018.11.002
  ISSN: 0888613X
  issued:
    - year: 2019
      month: 1
  page: 185-204
  title: >-
    A Factor Graph Approach to Automated Design of Bayesian Signal Processing
    Algorithms
  type: article-journal
  URL: http://arxiv.org/abs/1811.03407
  volume: '104'

- id: CusumanoTownerDesign2018
  accessed:
    - year: 2019
      month: 11
      day: 9
  author:
    - family: Cusumano-Towner
      given: Marco
    - family: Mansinghka
      given: Vikash K.
  citation-key: CusumanoTownerDesign2018
  collection-title: MAPL 2018
  container-title: >-
    Proceedings of the 2Nd ACM SIGPLAN International Workshop on Machine
    Learning and Programming Languages
  DOI: 10.1145/3211346.3211350
  event-place: Philadelphia, PA, USA
  ISBN: 978-1-4503-5834-7
  issued:
    - year: 2018
  page: 52–57
  publisher: ACM
  publisher-place: New York, NY, USA
  title: >-
    A Design Proposal for Gen: Probabilistic Programming with Fast Custom
    Inference via Code Generation
  type: paper-conference
  URL: http://doi.acm.org/10.1145/3211346.3211350

- id: CusumanoTownerEncapsulating2017
  accessed:
    - year: 2019
      month: 11
      day: 9
  author:
    - family: Cusumano-Towner
      given: Marco F.
    - family: Mansinghka
      given: Vikash K.
  citation-key: CusumanoTownerEncapsulating2017
  container-title: arXiv:1612.04759 [cs, stat]
  issued:
    - year: 2017
      month: 5
      day: 6
  language: en
  title: >-
    Encapsulating models and approximate inference programs in probabilistic
    modules
  type: article-journal
  URL: http://arxiv.org/abs/1612.04759

- id: CusumanoTownerGen2019
  accessed:
    - year: 2019
      month: 11
      day: 9
  author:
    - family: Cusumano-Towner
      given: Marco F.
    - family: Saad
      given: Feras A.
    - family: Lew
      given: Alexander K.
    - family: Mansinghka
      given: Vikash K.
  citation-key: CusumanoTownerGen2019
  collection-title: PLDI 2019
  container-title: >-
    Proceedings of the 40th ACM SIGPLAN Conference on Programming Language
    Design and Implementation
  DOI: 10.1145/3314221.3314642
  event-place: Phoenix, AZ, USA
  ISBN: 978-1-4503-6712-7
  issued:
    - year: 2019
  page: 221–236
  publisher: ACM
  publisher-place: New York, NY, USA
  title: >-
    Gen: A General-purpose Probabilistic Programming System with Programmable
    Inference
  type: paper-conference
  URL: http://doi.acm.org/10.1145/3314221.3314642

- id: CusumanoTownerIncremental2018
  accessed:
    - year: 2019
      month: 11
      day: 9
  author:
    - family: Cusumano-Towner
      given: Marco
    - family: Bichsel
      given: Benjamin
    - family: Gehr
      given: Timon
    - family: Vechev
      given: Martin
    - family: Mansinghka
      given: Vikash K.
  citation-key: CusumanoTownerIncremental2018
  collection-title: PLDI 2018
  container-title: >-
    Proceedings of the 39th ACM SIGPLAN Conference on Programming Language
    Design and Implementation
  DOI: 10.1145/3192366.3192399
  event-place: Philadelphia, PA, USA
  ISBN: 978-1-4503-5698-5
  issued:
    - year: 2018
  page: 571–585
  publisher: ACM
  publisher-place: New York, NY, USA
  title: Incremental Inference for Probabilistic Programs
  type: paper-conference
  URL: http://doi.acm.org/10.1145/3192366.3192399

- id: CusumanoTownerUsing2018
  accessed:
    - year: 2019
      month: 11
      day: 9
  author:
    - family: Cusumano-Towner
      given: Marco F.
    - family: Mansinghka
      given: Vikash K.
  citation-key: CusumanoTownerUsing2018
  container-title: arXiv:1801.03612 [cs, stat]
  issued:
    - year: 2018
      month: 1
      day: 13
  language: en
  title: Using probabilistic programs as proposals
  type: article-journal
  URL: http://arxiv.org/abs/1801.03612

- id: GelmanStan2015
  author:
    - family: Gelman
      given: Andrew
    - family: Lee
      given: Daniel
    - family: Guo
      given: Jiqiang
  citation-key: GelmanStan2015
  container-title: Journal of Educational and Behavioral Statistics
  container-title-short: Journal of Educational and Behavioral Statistics
  DOI: 10.3102/1076998615606113
  ISSN: 1076-9986, 1935-1054
  issue: '5'
  issued:
    - year: 2015
      month: 10
  language: en
  page: 530-543
  title: >-
    Stan: A Probabilistic Programming Language for Bayesian Inference and
    Optimization
  type: article-journal
  URL: http://www.stat.columbia.edu/~gelman/research/published/stan_jebs_2.pdf
  volume: '40'

- id: GoodrichStan2017
  author:
    - family: Goodrich
      given: Ben
    - family: Gelman
      given: Andrew
    - family: Hoffman
      given: Matthew D.
    - family: Lee
      given: Daniel
    - family: Carpenter
      given: Bob
    - family: Betancourt
      given: Michael
    - family: Brubaker
      given: Marcus
    - family: Guo
      given: Jiqiang
    - family: Li
      given: Peter
    - family: Riddell
      given: Allen
  citation-key: GoodrichStan2017
  container-title: Journal of Statistical Software
  container-title-short: J. Stat. Soft.
  DOI: 10.18637/jss.v076.i01
  ISSN: 1548-7660
  issue: '1'
  issued:
    - year: 2017
  language: en
  title: 'Stan : A Probabilistic Programming Language'
  type: article-journal
  URL: http://www.jstatsoft.org/v76/i01/
  volume: '76'

- id: GorinovaProbabilistic2019
  author:
    - family: Gorinova
      given: Maria I.
    - family: Gordon
      given: Andrew D.
    - family: Sutton
      given: Charles
  citation-key: GorinovaProbabilistic2019
  container-title: Proceedings of the ACM on Programming Languages
  container-title-short: Proc. ACM Program. Lang.
  DOI: 10.1145/3290348
  ISSN: '24751421'
  issue: POPL
  issued:
    - year: 2019
      month: 1
      day: 2
  page: 1-30
  title: >-
    Probabilistic Programming with Densities in SlicStan: Efficient, Flexible
    and Deterministic
  type: article-journal
  URL: http://arxiv.org/abs/1811.00890
  volume: '3'

- id: KochurovPyMC42019
  accessed:
    - year: 2019
      month: 10
      day: 2
  author:
    - family: Kochurov
      given: Max
    - family: Carroll
      given: Colin
    - family: Wiecki
      given: Thomas
    - family: Lao
      given: Junpeng
  citation-key: KochurovPyMC42019
  issued:
    - year: 2019
      month: 9
      day: 16
  title: >-
    PyMC4: Exploiting Coroutines for Implementing a Probabilistic Programming
    Framework
  type: article-journal
  URL: https://openreview.net/forum?id=rkgzj5Za8H

- id: LaoHitchhiker2019
  author:
    - family: Lao
      given: Junpeng
  citation-key: LaoHitchhiker2019
  event-place: Córdoba, Argentina
  event-title: PyData Córdoba
  genre: Presentation Slides
  issued:
    - year: 2019
      month: 9
      day: 29
  publisher-place: Córdoba, Argentina
  title: A Hitchhiker's Guide to designing a Bayesian library in Python
  type: speech
  URL: >-
    https://docs.google.com/presentation/d/1xgNRJDwkWjTHOYMj5aGefwWiV8x-Tz55GfkBksZsN3g/edit?usp=sharing

- id: LeInference2017
  author:
    - family: Le
      given: Tuan Anh
    - family: Baydin
      given: Atılım Güneş
    - family: Wood
      given: Frank
  citation-key: LeInference2017
  collection-title: Proceedings of machine learning research
  container-title: >-
    Proceedings of the 20th international conference on artificial intelligence
    and statistics (AISTATS)
  event-place: Fort Lauderdale, FL, USA
  event-title: Artificial Intelligence and Statistics
  ISSN: 2640-3498
  issued:
    - year: 2017
  page: 1338-1348
  publisher: PMLR
  publisher-place: Fort Lauderdale, FL, USA
  title: Inference compilation and universal probabilistic programming
  type: paper-conference
  URL: http://arxiv.org/abs/1610.09900
  volume: '54'

- id: MooreEffect2018
  author:
    - family: Moore
      given: Dave
    - family: Gorinova
      given: Maria I.
  citation-key: MooreEffect2018
  container-title: arXiv:1811.06150 [cs, stat]
  issued:
    - year: 2018
      month: 11
      day: 14
  title: Effect Handling for Composable Program Transformations in Edward2
  type: article-journal
  URL: http://arxiv.org/abs/1811.06150

- id: MurphyMachine2012
  author:
    - family: Murphy
      given: Kevin P.
  call-number: Q325.5 .M87 2012
  citation-key: MurphyMachine2012
  collection-title: Adaptive computation and machine learning series
  edition: 1 edition
  event-place: Cambridge, MA
  ISBN: 978-0-262-01802-9
  issued:
    - year: 2012
  language: English
  number-of-pages: '1067'
  publisher: MIT Press
  publisher-place: Cambridge, MA
  title: 'Machine learning: a probabilistic perspective'
  type: book

- id: MurphyProbabilistic2022
  author:
    - family: Murphy
      given: Kevin P.
  call-number: Q325.5 .M872 2022
  citation-key: MurphyProbabilistic2022
  collection-title: Adaptive computation and machine learning series
  event-place: Cambridge, Massachusetts
  ISBN: 978-0-262-04682-4
  issued:
    - year: 2022
  number-of-pages: '826'
  publisher: The MIT Press
  publisher-place: Cambridge, Massachusetts
  title: 'Probabilistic machine learning: an introduction'
  type: book
  URL: https://probml.github.io/pml-book/book1.html

- id: MurphyProbabilistic2023
  author:
    - family: Murphy
      given: Kevin P.
  citation-key: MurphyProbabilistic2023
  issued:
    - year: 2023
  publisher: MIT Press
  title: 'Probabilistic machine learning: Advanced topics'
  type: book
  URL: https://probml.github.io/pml-book/book2.html

- id: ObermeyerFunctional2020
  accessed:
    - year: 2021
      month: 3
      day: 10
  author:
    - family: Obermeyer
      given: Fritz
    - family: Bingham
      given: Eli
    - family: Jankowiak
      given: Martin
    - family: Phan
      given: Du
    - family: Chen
      given: Jonathan P.
  citation-key: ObermeyerFunctional2020
  container-title: arXiv:1910.10775 [cs, stat]
  issued:
    - year: 2020
      month: 3
      day: 10
  title: Functional Tensors for Probabilistic Programming
  type: article-journal
  URL: http://arxiv.org/abs/1910.10775

- id: PearlProbabilistic2008
  author:
    - family: Pearl
      given: Judea
  citation-key: PearlProbabilistic2008
  collection-title: The Morgan Kaufmann series in representation and reasoning
  edition: Rev. 2. print., 12. [Dr.]
  event-place: San Francisco, Calif
  ISBN: 978-1-55860-479-7
  issued:
    - year: 2008
  language: eng
  number-of-pages: '552'
  publisher: Kaufmann
  publisher-place: San Francisco, Calif
  title: >-
    Probabilistic reasoning in intelligent systems: networks of plausible
    inference
  type: book

- id: PradhanPyro2018
  author:
    - family: Pradhan
      given: Neeraj
    - family: Chen
      given: Jonathan P.
    - family: Jankowiak
      given: Martin
    - family: Obermeyer
      given: Fritz
    - family: Bingham
      given: Eli
    - family: Karaletsos
      given: Theofanis
    - family: Singh
      given: Rohit
    - family: Szerlip
      given: Paul
    - family: Horsfall
      given: Paul
    - family: Goodman
      given: Noah D.
  citation-key: PradhanPyro2018
  container-title: arXiv:1810.09538 [cs, stat]
  issued:
    - year: 2018
      month: 10
      day: 18
  title: 'Pyro: Deep Universal Probabilistic Programming'
  type: article-journal
  URL: http://arxiv.org/abs/1810.09538

- id: RainforthAutomating2017
  author:
    - family: Rainforth
      given: Tom
  citation-key: RainforthAutomating2017
  genre: PhD Thesis
  issued:
    - year: 2017
  publisher: University of Oxford
  title: Automating Inference, Learning, and Design using Probabilistic Programming
  type: thesis
  URL: http://www.robots.ox.ac.uk/~twgr/assets/pdf/rainforth2017thesis.pdf

- id: ReicheltExpectation
  author:
    - family: Reichelt
      given: Tim
    - family: Ong
      given: Luke
    - family: Rainforth
      given: Tom
  citation-key: ReicheltExpectation
  language: en
  page: '10'
  title: >-
    Expectation Programming: Adapting Probabilistic Programming Systems to
    Estimate Expectations Efﬁciently
  type: article-journal

- id: SalvatierProbabilistic2016
  author:
    - family: Salvatier
      given: John
    - family: Wiecki
      given: Thomas V.
    - family: Fonnesbeck
      given: Christopher
  citation-key: SalvatierProbabilistic2016
  container-title: PeerJ Computer Science
  DOI: 10.7717/peerj-cs.55
  ISSN: 2376-5992
  issued:
    - year: 2016
      month: 4
      day: 6
  language: en
  page: e55
  title: Probabilistic programming in Python using PyMC3
  type: article-journal
  URL: https://peerj.com/articles/cs-55
  volume: '2'

- id: TranDeep2017
  author:
    - family: Tran
      given: Dustin
    - family: Hoffman
      given: Matthew D.
    - family: Saurous
      given: Rif A.
    - family: Brevdo
      given: Eugene
    - family: Murphy
      given: Kevin
    - family: Blei
      given: David M.
  citation-key: TranDeep2017
  container-title: ICLR
  issued:
    - year: 2017
      month: 1
      day: 13
  title: Deep Probabilistic Programming
  type: paper-conference
  URL: http://arxiv.org/abs/1701.03757

- id: TranEdward2016
  author:
    - family: Tran
      given: Dustin
    - family: Kucukelbir
      given: Alp
    - family: Dieng
      given: Adji B.
    - family: Rudolph
      given: Maja
    - family: Liang
      given: Dawen
    - family: Blei
      given: David M.
  citation-key: TranEdward2016
  container-title: arXiv:1610.09787 [cs, stat]
  issued:
    - year: 2016
      month: 10
      day: 31
  title: 'Edward: A library for probabilistic modeling, inference, and criticism'
  type: article-journal
  URL: http://arxiv.org/abs/1610.09787

- id: vandeLaarForneyLab2018
  author:
    - family: Laar
      given: Thijs
      non-dropping-particle: van de
    - family: Cox
      given: Marco
    - family: Senoz
      given: Ismail
    - family: Bocharov
      given: Ivan
    - family: Vries
      given: Bert
      non-dropping-particle: de
  citation-key: vandeLaarForneyLab2018
  container-title: Conference on Complex Systems
  issued:
    - year: 2018
  language: en
  page: '3'
  title: >-
    ForneyLab: A Toolbox for Biologically Plausible Free Energy Minimization in
    Dynamic Neural Models
  type: paper-conference
  URL: http://ccs2018.web.auth.gr/

- id: vandeMeentIntroduction2021
  accessed:
    - year: 2021
      month: 10
      day: 20
  author:
    - family: Meent
      given: Jan-Willem
      non-dropping-particle: van de
    - family: Paige
      given: Brooks
    - family: Yang
      given: Hongseok
    - family: Wood
      given: Frank
  citation-key: vandeMeentIntroduction2021
  container-title: arXiv:1809.10756 [cs, stat]
  issued:
    - year: 2021
      month: 10
      day: 19
  title: An Introduction to Probabilistic Programming
  type: article-journal
  URL: http://arxiv.org/abs/1809.10756

- id: WingateAutomated2013
  accessed:
    - year: 2021
      month: 11
      day: 17
  author:
    - family: Wingate
      given: David
    - family: Weber
      given: Theophane
  citation-key: WingateAutomated2013
  container-title: arXiv:1301.1299 [cs, stat]
  issued:
    - year: 2013
      month: 1
      day: 7
  title: Automated Variational Inference in Probabilistic Programming
  type: article-journal
  URL: http://arxiv.org/abs/1301.1299
...
