@inproceedings{li-2024-a, series={LICS ’24}, title={A Nominal Approach to Probabilistic Separation Logic}, url={http://dx.doi.org/10.1145/3661814.3662135}, DOI={10.1145/3661814.3662135}, booktitle={Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={ACM}, author={Li, John M. and Aytac, Jon and Johnson-Freyd, Philip and Ahmed, Amal and Holtzen, Steven}, year={2024}, month=July, pages={1–14}, collection={LICS ’24} }