Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Sof 2019
DOI: 10.1145/3359591.3359727
|View full text |Cite
|
Sign up to set email alerts
|

Deployable probabilistic programming

Abstract: We propose design guidelines for a probabilistic programming facility suitable for deployment as a part of a production software system. As a reference implementation, we introduce Infergo, a probabilistic programming facility for Go, a modern programming language of choice for server-side software development. We argue that a similar probabilistic programming facility can be added to most modern generalpurpose programming languages.Probabilistic programming enables automatic tuning of program parameters and a… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
6
0

Year Published

2020
2020
2024
2024

Publication Types

Select...
3
2
1

Relationship

3
3

Authors

Journals

citations
Cited by 6 publications
(6 citation statements)
references
References 32 publications
0
6
0
Order By: Relevance
“…Figure 2 shows the posterior distributions for ๐‘ inferred on the hierarchical model (Figure 2a) and through ๐‘ + 1 applications of stump-and-fungus (similar to leave-one-out cross-validation). The Infergo [Tolpin 2019] source code of the model is provided in the appendix. The inference was performed with HMC [Neal 2011] on the hierarchical model (4) and stochastic gradient HMC ] on the stump-and-fungus model (5).…”
Section: Case Study: Tumor Incidence In Ratsmentioning
confidence: 99%
“…Figure 2 shows the posterior distributions for ๐‘ inferred on the hierarchical model (Figure 2a) and through ๐‘ + 1 applications of stump-and-fungus (similar to leave-one-out cross-validation). The Infergo [Tolpin 2019] source code of the model is provided in the appendix. The inference was performed with HMC [Neal 2011] on the hierarchical model (4) and stochastic gradient HMC ] on the stump-and-fungus model (5).…”
Section: Case Study: Tumor Incidence In Ratsmentioning
confidence: 99%
“…We implemented inference in stochastically differentiable probabilistic programs using Infergo [21], a probabilistic programming facility for the Go programming language. Due to reliance of Infergo on pure Go code for probabilistic programs, no changes were necessary to the way probabilistic programs are represented.…”
Section: Case Studiesmentioning
confidence: 99%
“…Some probabilistic programming frameworks require that the trace shape be specified upfront, i.e. static [2,21], while others allow introduction of trace components dynamically [8,16,7,5,22], in the course of a program execution.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…An execution is summarized as an instantiation of the program trace, and the probability is a function of the trace. Some probabilistic programming frameworks require that the trace shape is specified upfront [2,10], others allow introduction of trace components dynamically [4,[6][7][8]11], in the course of a program execution.…”
Section: Introductionmentioning
confidence: 99%