Reactive probabilistic programming

Guillaume Baudart; L. Mandel; Eric Hamilton Atkinson; Benjamin Sherman; M. Pouzet; Michael Carbin

DOI:10.1145/3385412.3386009

Corpus ID: 201126421

Reactive probabilistic programming

@article{Baudart2020ReactivePP,
  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},
  year={2020}
}

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

View on ACM