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"
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
This is the primary artifact for "Symbolic Execution for Randomized Programs", to appear in OOPSLA 2...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is the primary artifact for "Scaling Exact Inference for Discrete Probabilistic Programs", to a...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact for our OOPSLA 2023 paper "A Deductive Verification Infrastructure for Probabil...
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...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
This package contains code and data needed for reproducing results reported in the following paper: ...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
This is the primary artifact for "Symbolic Execution for Randomized Programs", to appear in OOPSLA 2...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is the primary artifact for "Scaling Exact Inference for Discrete Probabilistic Programs", to a...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact for our OOPSLA 2023 paper "A Deductive Verification Infrastructure for Probabil...
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...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
This package contains code and data needed for reproducing results reported in the following paper: ...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
This is the primary artifact for "Symbolic Execution for Randomized Programs", to appear in OOPSLA 2...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
DOI
Add to ORKG