Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

There is a newer version of the record available.

Published January 26, 2023 | Version 0.1.0
Software Open

Artifact: Automatic Alignment in Higher-Order Probabilistic Programming Languages

Creators

  • 1. KTH Royal Institute of Technology
  • 2. Swedish Museum of Natural History

Description

Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Languages to appear at the European Symposium on Programming (ESOP) 2023.

The file README.txt contains instructions on how to work with the artifact in Docker. The file artifact55.zip contains the artifact itself (ppl-align.tar.gz) and source code for building the artifact (under docker/).

Files

artifact55.zip

Files (1.3 GB)

Name Size Download all
md5:a817775b1d499c335ea01d44deaf7044
1.3 GB Preview Download
md5:9e5c9cd1a30e088ecd3875dde159ce36
15.3 kB Preview Download