Augmented Virtuality for Arthroscopic Knee Surgery. - John M. Li; Davide D. Bardana; A. James Stewart (MICCAI (1), 2011)

Deriving efficient program transformations from rewrite rules. - John M. Li; Andrew W. Appel (Proc. ACM Program. Lang., 2021)

Compositional optimizations for CertiCoq. - Zoe Paraskevopoulou; John M. Li; Andrew W. Appel (Proc. ACM Program. Lang., 2021)

Lilac: A Modal Separation Logic for Conditional Probability. - John M. Li; Amal Ahmed 001; Steven Holtzen (Proc. ACM Program. Lang., 2023)

A Nominal Approach to Probabilistic Separation Logic. - John M. Li; Jon Aytac; Philip Johnson-Freyd; Amal Ahmed 001; Steven Holtzen (LICS, 2024)

Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming. - Cameron Moy; Jack Czenszak; John M. Li; Brianna Marshall; Steven Holtzen (Proc. ACM Program. Lang., 2025)

Multi-Language Probabilistic Programming. - Sam Stites; John M. Li; Steven Holtzen (Proc. ACM Program. Lang., 2025)