@article{li-2026-contextual, title={Contextual Refinement of Higher-Order Concurrent Probabilistic Programs}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3808265}, DOI={10.1145/3808265}, number={PLDI}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Li, Kwing Hei and Aguirre, Alejandro and Tassarotti, Joseph and Birkedal, Lars}, year={2026}, month=June, pages={455–479} }