@article{haselwarter-2026-modular, title={Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3808311}, DOI={10.1145/3808311}, number={PLDI}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Haselwarter, Philipp G. and Aguirre, Alejandro and Gregersen, Simon Oddershede and Li, Kwing Hei and Tassarotti, Joseph and Birkedal, Lars}, year={2026}, month=June, pages={1610–1634} }