@inproceedings{marionneau-2026-modular, series={CPP ’26}, title={Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic}, url={http://dx.doi.org/10.1145/3779031.3779109}, DOI={10.1145/3779031.3779109}, booktitle={Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={Marionneau, Virgil and Sassus Bourda, Félix and Aguirre, Alejandro and Birkedal, Lars}, year={2026}, month=Jan, pages={368–382}, collection={CPP ’26} }