John M. Li

11 papers A* 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
From Linearity to Borrowing.
Proc. ACM Program. Lang.
Andrew Wagner, Olek Gierczak, Brianna Marshall, John M. Li, Amal Ahmed
2025 J jnl
Multi-Language Probabilistic Programming.
CoRR
Sam Stites, John M. Li, Steven Holtzen
2025 J jnl
Multi-Language Probabilistic Programming.
Proc. ACM Program. Lang.
Sam Stites, John M. Li, Steven Holtzen
2025 J jnl
Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming.
Proc. ACM Program. Lang.
Cameron Moy, Jack Czenszak, John M. Li, Brianna Marshall, Steven Holtzen
2024 A* conf
A Nominal Approach to Probabilistic Separation Logic.
LICS
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
2024 J jnl
A Nominal Approach to Probabilistic Separation Logic.
CoRR
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
2023 J jnl
Lilac: A Modal Separation Logic for Conditional Probability.
Proc. ACM Program. Lang.
John M. Li, Amal Ahmed, Steven Holtzen
2023 J jnl
Lilac: a Modal Separation Logic for Conditional Probability.
CoRR
John M. Li, Amal Ahmed, Steven Holtzen
2021 J jnl
Compositional optimizations for CertiCoq.
Proc. ACM Program. Lang.
Zoe Paraskevopoulou, John M. Li, Andrew W. Appel
2021 J jnl
Deriving efficient program transformations from rewrite rules.
Proc. ACM Program. Lang.
John M. Li, Andrew W. Appel
2011 — conf
Augmented Virtuality for Arthroscopic Knee Surgery.
MICCAI (1)
John M. Li, Davide D. Bardana, A. James Stewart