1. FairSquare: probabilistic verification of program fairness
2. How to integrate a polynomial over a simplex
3. Etalumis
4. On probabilistic termination of functional programs with continuous distributions
5. Raven Beutner , Luke Ong , and Fabian Zaiser . 2022. Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programmings. CoRR, abs/2204.02948 ( 2022 ), https://doi.org/10.48550/arXiv.2204.02948 10.48550/arXiv.2204.02948 Raven Beutner, Luke Ong, and Fabian Zaiser. 2022. Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programmings. CoRR, abs/2204.02948 (2022), https://doi.org/10.48550/arXiv.2204.02948