John Li

Citation: John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed , Steven Holtzen. (2024). A Nominal Approach to Probabilistic Separation Logic LICS, 55:1-55:14. https://doi.org/10.1145/3661814.3662135

Citation: John M. Li, Amal Ahmed , Steven Holtzen. (2023). Lilac: a Modal Separation Logic for Conditional Probability CoRR, abs/2304.01339. https://doi.org/10.48550/arXiv.2304.01339