Sound probabilistic inference via guide types-Reference-Cited by-同舟云学术

Sound probabilistic inference via guide types

Published:2021-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Wang Di¹,Hoffmann Jan¹,Reps Thomas²

Affiliation:

1. Carnegie Mellon University, USA

2. University of Wisconsin, USA

Funder

a gift from Rajiv and Ritu Batra

DARPA under AA contract

NSF under SaTC

NSF under CAREER

ONR

NSF under SHF

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3453483.3454077

Reference58 articles.

1. HackPPL: a universal probabilistic programming language

2. Konrad Anton and Peter Thiemann. 2010. Typing Coroutines. In Trends in Functional Programming (TFP’10). https://doi.org/10.1007/978-3-642-22941-1_2 10.1007/978-3-642-22941-1_2 Konrad Anton and Peter Thiemann. 2010. Typing Coroutines. In Trends in Functional Programming (TFP’10). https://doi.org/10.1007/978-3-642-22941-1_2 10.1007/978-3-642-22941-1_2

3. Eric Atkinson Cambridge Yang and Michael Carbin. 2018. Verifying Handcoded Probabilistic Inference Procedures. arxiv:1805.01863 Eric Atkinson Cambridge Yang and Michael Carbin. 2018. Verifying Handcoded Probabilistic Inference Procedures. arxiv:1805.01863

4. Sooraj Bhat Ashish Agarwal Richard Vuduc and Alexander Gray. 2012. A Type Theory for Probability Density Functions. In Princ. of Prog. Lang. (POPL’12). https://doi.org/10.1145/2103656.2103721 10.1145/2103656.2103721 Sooraj Bhat Ashish Agarwal Richard Vuduc and Alexander Gray. 2012. A Type Theory for Probability Density Functions. In Princ. of Prog. Lang. (POPL’12). https://doi.org/10.1145/2103656.2103721 10.1145/2103656.2103721

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Probabilistic Programming with Programmable Variational Inference;Proceedings of the ACM on Programming Languages;2024-06-20

2. Compiling Probabilistic Programs for Variable Elimination with Information Flow;Proceedings of the ACM on Programming Languages;2024-06-20

3. Probabilistic Programming with Stochastic Probabilities;Proceedings of the ACM on Programming Languages;2023-06-06

4. Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning;Proceedings of the ACM on Programming Languages;2023-06-06

5. Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference;Proceedings of the ACM on Programming Languages;2023-01-09