@article{li-2025-modular, title={Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs}, volume={9}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3747514}, DOI={10.1145/3747514}, number={ICFP}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Li, Kwing Hei and Aguirre, Alejandro and Gregersen, Simon Oddershede and Haselwarter, Philipp G. and Tassarotti, Joseph and Birkedal, Lars}, year={2025}, month=Aug, pages={276–305} }