John M. Li

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

Collaborative distances:

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

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