4 citations · 4 across the 1 of their papers we have counts for
4 papers · 1 filter
Programming and Reasoning with Partial Observability
Eric Atkinson, Michael Carbin
Computer programs are increasingly being deployed in partially-observable environments. A partially observable environment is an environment whose state is not completely visible t…
Simplifying Dependent Reductions in the Polyhedral Model
Cambridge Yang, Eric Atkinson, Michael Carbin
A Reduction -- an accumulation over a set of values, using an associative and commutative operator -- is a common computation in many numerical computations, including scientific c…
Reactive Probabilistic Programming
Guillaume Baudart, Louis Mandel, Eric Atkinson +3
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…
Verifying Handcoded Probabilistic Inference Procedures
Eric Atkinson, Cambridge Yang, Michael Carbin
Researchers have recently proposed several systems that ease the process of performing Bayesian probabilistic inference. These include systems for automatic inference algorithm syn…