Reactive probabilistic programming-Reference-Cited by-同舟云学术

Reactive probabilistic programming

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Baudart Guillaume¹,Mandel Louis¹,Atkinson Eric²,Sherman Benjamin²,Pouzet Marc³,Carbin Michael²

Affiliation:

1. IBM Research, USA

2. Massachusetts Institute of Technology, USA

3. ENS, France / PSL University, France

Funder

Office of Naval Research

Publisher

ACM

Link

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

Reference51 articles.

1. Guillaume Baudart Louis Mandel Eric Atkinson Benjamin Sherman Marc Pouzet and Michael Carbin. 2020. Guillaume Baudart Louis Mandel Eric Atkinson Benjamin Sherman Marc Pouzet and Michael Carbin. 2020.

2. The synchronous languages 12 years later

3. Keni Bernardin and Rainer Stiefelhagen. 2008. Keni Bernardin and Rainer Stiefelhagen. 2008.

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

1. Mixed Nondeterministic-Probabilistic Automata;Discrete Event Dynamic Systems;2023-10-19

2. Verified Density Compilation for a Probabilistic Programming Language;Proceedings of the ACM on Programming Languages;2023-06-06

3. ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04

4. Semi-symbolic inference for efficient streaming probabilistic programming;Proceedings of the ACM on Programming Languages;2022-10-31

5. JAX based parallel inference for reactive probabilistic programming;Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2022-06-14