Published March 7, 2023
| Version v3
Software
Open
PLDI 2023 Research Artifact
Authors/Creators
Description
Our tool, dubbed ev-imp, implements an expected value analysis for probabilistic, imperative programs featuring dynamic sampling instructions, non-deterministic choice, nested loops and most crucially recursive procedure declarations.