John Li

Citation: John M. Li, Jack Czenszak, Steven Holtzen. (2026). Categorical Semantics of Probabilistic Symbolic Execution Proc. ACM Program. Lang., 10, 2402-2426. https://doi.org/10.1145/3808343

Citation: Andrew Wagner, Olek Gierczak, Brianna Marshall, John M. Li, Amal Ahmed . (2025). From Linearity to Borrowing Proc. ACM Program. Lang., 9, 3981-4007. https://doi.org/10.1145/3764117

Citation: Cameron Moy, Jack Czenszak, John M. Li, Brianna Marshall, Steven Holtzen. (2025). Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming Proc. ACM Program. Lang., 9, 2081-2105. https://doi.org/10.1145/3729334

Citation: Sam Stites, John M. Li, Steven Holtzen. (2025). Multi-Language Probabilistic Programming Proc. ACM Program. Lang., 9, 1239-1266. https://doi.org/10.1145/3720482

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