Journal article Open Access
Steven Holtzen; Guy Van den Broeck; Todd Millstein
This is the primary artifact for "Scaling Exact Inference for Discrete Probabilistic Programs", to appear in OOPSLA 2020. To build, follow the instructions in the README.md file inside "dice-oopsla-artifact.zip". Included also is a required dependency "mlcuddidil-master.zip".