<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Equivalence and Similarity Refutation for Probabilistic Programs

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 28 Feb 2024Publisher:Zenodo

Authors: Chatterjee, Krishnendu; Kafshdar Goharshady, Ehsan; Novotný, Petr; Žikelić, Ðorđe;

doi: 10.5281/zenodo.10723168 , 10.5281/zenodo.10723167

Equivalence and Similarity Refutation for Probabilistic Programs

- Summary
- Metrics

Abstract

This repository contains the artifact of the paper titled "Equivalence and Similarity Refutation for Probabilistic Programs" accepted at PLDI 2024. The tool takes two probabilistic transition systems with specified initial configurations as input and based on user preferences either (i) tries to prove whether the two programs generate equivalent output distributions, or (ii) tries to find a lowerbound on Kantorovich distance between the output distributions of the input programs. In order to run the baseline, Mathematica (`math` command in terminal) must be installed and the tool should be built from source. Additionally, the repository contains the files for Gurobi Optimizer v10.0.3.

Related Organizations

Singapore Management University
Singapore
Masaryk University
Czech Republic
Institute of Science and Technology Austria
Austria

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average