Formal Verification of Higher-order Probabilistic Programs: Reasoning about 
Approximation, Convergence, Bayesian Inference, and Optimization.

Sato, Tetsuya; Aguirre, Alejandro; Barthe, Gilles; Gaboardi, Marco; Garg, Deepak; Hsu, Justin

doi:10.1145/3290351

Local TagsRelease HistoryDetailsSummary

Formal Verification of Higher-order Probabilistic Programs: Reasoning about Approximation, Convergence, Bayesian Inference, and Optimization.

Sato, T., Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., & Hsu, J. (2019). Formal Verification of Higher-order Probabilistic Programs: Reasoning about Approximation, Convergence, Bayesian Inference, and Optimization. Proceedings of the ACM on Programming Languages, 3, POPL: 38. doi:10.1145/3290351.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0005-E678-1 Version Permalink: https://hdl.handle.net/21.11116/0000-0005-E679-0

Genre: Conference Paper

Latex : Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, {B}ayesian inference, and optimization.

Files

show Files

Locators

show

Creators

show

hide

Creators:
Sato, Tetsuya¹, Author
Aguirre, Alejandro¹, Author
Barthe, Gilles¹, Author
Gaboardi, Marco¹, Author
Garg, Deepak², Author
Hsu, Justin¹, Author

Affiliations:
1External Organizations, ou_persistent22
2Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2019

Publication Status: Published online

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Sato_POPL2019
DOI: 10.1145/3290351

Degree: -

Event

show

hide

Title: 46th ACM SIGPLAN Symposium on Principles of Programming Languages

Place of Event: Cascais, Portugal

Start-/End Date: 2019-01-13 - 2019-01-19

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the ACM on Programming Languages

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: 30 p. Volume / Issue: 3, POPL Sequence Number: 38 Start / End Page: - Identifier: -