research
∙
07/14/2023
Verifying Performance Properties of Probabilistic Inference
In this extended abstract, we discuss the opportunity to formally verify...
share
research
∙
09/15/2022
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming
Efficient inference is often possible in a streaming context using Rao-B...
research
∙
09/26/2021
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Probabilistic programming languages aid developers performing Bayesian i...
research
∙
01/12/2021
Programming and Reasoning with Partial Observability
Computer programs are increasingly being deployed in partially-observabl...
research
∙
07/22/2020
Simplifying Multiple-Statement Reductions with the Polyhedral Model
A Reduction – an accumulation over a set of values, using an associative...
research
∙
08/20/2019
Reactive Probabilistic Programming
Synchronous reactive languages were introduced for designing and impleme...
research
∙
05/04/2018