Publications

3 results for Michael Carbin

Inference Plans for Hybrid Particle Filtering
- - Ellie Y. Cheng
  - Eric Atkinson
  - et al.
- 2025
- Proceedings of the ACM on Programming Languages
Semi-symbolic inference for efficient streaming probabilistic programming
- - Eric Atkinson
  - Charles Yuan
  - et al.
- 2022
- Proceedings of the ACM on Programming Languages
Reactive probabilistic programming
- - Guillaume Baudart
  - Louis Mandel
  - et al.
- 2020
- PLDI 2020