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/)
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the Artifact for the submitted paper "Interactive Visualization Meets Probabilistic Model Ch...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is the research artifact for my MSc Thesis 'Efficient Execution of User-Provided Graph Algorith...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the Artifact for the submitted paper "Interactive Visualization Meets Probabilistic Model Ch...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is the research artifact for my MSc Thesis 'Efficient Execution of User-Provided Graph Algorith...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...