Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zip file which contains a README.md file with instructions and a Docker image
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
This is the Artifact for the submitted paper "Interactive Visualization Meets Probabilistic Model Ch...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
This package contains code and data needed for reproducing results reported in the following paper: ...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
This is the Artifact for the submitted paper "Interactive Visualization Meets Probabilistic Model Ch...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
This package contains code and data needed for reproducing results reported in the following paper: ...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
DOI
Add to ORKG