Published April 2, 2022
| Version 0.2
Software
Restricted
Artifact for: Rigorous bounds for posterior inference in universal probabilistic programming (PLDI 2022)
Creators
- 1. CISPA Helmholtz Center for Information Security, Germany
- 2. University of Oxford
Description
This is the artifact for "Rigorous bounds for posterior inference in universal probabilistic programming" (conditionally accepted at PLDI 2022). It contains the implementation of the PRiBo tool, which can compute Rigorous Bounds for Statistical Probabilistic Programs (PLDI 2022). It also includes the benchmarks from the paper and scripts to reproduce the reported data. For convenience, Docker images are also provided to allow quick experimentation.
Files
Restricted
The record is publicly accessible, but files are restricted to users with access.