John M. Li

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

Collaborative distances:

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

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