John Li

PhD Student

John Li

Biography

Bio coming soon!

Recent publications

  • Multi-Language Probabilistic Programming

    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
  • A Nominal Approach to Probabilistic Separation Logic

    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