John M. Li

According to our database, John M. Li authored at least 8 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

From Linearity to Borrowing.

Andrew Wagner, Olek Gierczak, Brianna Marshall, John M. Li, Amal Ahmed

Proc. ACM Program. Lang., 2025

Multi-Language Probabilistic Programming.

Sam Stites, John M. Li, Steven Holtzen

Proc. ACM Program. Lang., 2025

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

2024

A Nominal Approach to Probabilistic Separation Logic.

John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Lilac: A Modal Separation Logic for Conditional Probability.

John M. Li, Amal Ahmed, Steven Holtzen

Proc. ACM Program. Lang., 2023

2021

Compositional optimizations for CertiCoq.

Zoe Paraskevopoulou, John M. Li, Andrew W. Appel

Proc. ACM Program. Lang., 2021

Deriving efficient program transformations from rewrite rules.

John M. Li, Andrew W. Appel

Proc. ACM Program. Lang., 2021

2011

Augmented Virtuality for Arthroscopic Knee Surgery.

John M. Li, Davide D. Bardana, A. James Stewart

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011, 2011