Artifact for Symbolic Execution for Randomized Programs

This is the primary artifact for "Symbolic Execution for Randomized Programs", to appear in OOPSLA 2022. Source code for Plinko and our modified version of KLEE can be found in the "plinko" and "klee" directories, respectively. Source code for the case studies and scripts to recreate the experimental results found in the paper are in the "experiments" directory. Instructions for how to build Plinko and run the experiments can be found in the "artifact_overview.pdf" document.

Related Organizations

Cornell University
United States

Keywords

Symbolic Execution, Software Verification, OOPSLA, Probabilistic Programming, Randomized Algorithms

Impact byBIP!

	selected citations These citations are derived from selected sources. 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).	1
	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