John M. Li

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 6

Top Topics

Probabilistic Approaches

Prior Probabilities

Classical Logic

Top Venues

Proc. ACM Program. Lang.

Publications

John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic. CoRR (2024)
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic. LICS (2024)
John M. Li, Amal Ahmed, Steven Holtzen
Lilac: a Modal Separation Logic for Conditional Probability. CoRR (2023)
John M. Li, Amal Ahmed, Steven Holtzen
Lilac: A Modal Separation Logic for Conditional Probability. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Zoe Paraskevopoulou, John M. Li, Andrew W. Appel
Compositional optimizations for CertiCoq. Proc. ACM Program. Lang. 5 (ICFP) (2021)
John M. Li, Andrew W. Appel
Deriving efficient program transformations from rewrite rules. Proc. ACM Program. Lang. 5 (ICFP) (2021)
John M. Li, Davide D. Bardana, A. James Stewart
Augmented Virtuality for Arthroscopic Knee Surgery. MICCAI (1) (2011)