Reactive probabilistic programming

  title={Reactive probabilistic programming},
  author={Guillaume Baudart and L. Mandel and Eric Hamilton Atkinson and Benjamin Sherman and M. Pouzet and Michael Carbin},
  journal={Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation},
  • Guillaume Baudart, L. Mandel, +3 authors Michael Carbin
  • Published 2020
  • Computer Science
  • Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
  • Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or Scade used routinely for implementing safety critical control software, e.g., fly-by-wire and engine control in planes. However, to date these languages have had limited modern support for modeling uncertainty --- probabilistic aspects of the software's environment or behavior --- even though modeling uncertainty is a primary activity when designing a control system. In this paper we present ProbZelus the… CONTINUE READING
    3 Citations
    Programming and reasoning with partial observability
    • PDF
    Functional Tensors for Probabilistic Programming
    • 3
    • Highly Influenced
    • PDF


    The synchronous data flow programming language LUSTRE
    • 1,808
    • Highly Influential
    • PDF
    Commutative Semantics for Probabilistic Programming
    • 56
    • Highly Influential
    • PDF
    Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs
    • 29
    • Highly Influential
    • PDF
    Mathematical Control Theory: Deterministic Finite Dimensional Systems
    • 2,955
    • Highly Influential
    • PDF
    Sequential Monte Carlo samplers
    • 1,293
    • Highly Influential
    • PDF