John Li [CV]

I'm a PhD student in programming languages working with Amal Ahmed and Steven Holtzen at Northeastern University. I'm interested in logic, semantics, and mechanized proof. Lately I've been thinking about connections between mutable state and probability theory, and trying to learn synthetic X for various X. Before starting my PhD, I built a verified-optimization-pass generator as part of the CertiCoq project. When I'm not thinking about research, I like learning math, playing bullet chess, violin, and ping pong.


New Foundations for Probabilistic Separation Logic, John Li, Amal Ahmed, and Steven Holtzen (LAFI @ POPL'23)


Lilac: a Modal Separation Logic for Conditional Probability, John Li, Amal Ahmed, and Steven Holtzen


Deriving Efficient Program Transformations from Rewrite Rules, John M. Li and Andrew W. Appel (ICFP'21)
Compositional Optimizations for CertiCoq, Zoe Paraskevopoulou, John M. Li, and Andrew W. Appel (ICFP'21)

m o