Scholar
John M. Li
Google Scholar ID: dsxjDTAAAAAJ
PhD Student, Northeastern University
Citations & Impact
Citations
82
H-index
4
i10-index
4
Publications
6
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Published multiple papers, such as 'From Linearity to Borrowing' (OOPSLA 2025) and 'Multi-Language Probabilistic Programming' (OOPSLA 2025).
Research Experience
- Involved in several research projects, including the CertiCoq project.
Education
- PhD student at Northeastern University, supervised by Amal Ahmed and Steven Holtzen.
Background
- Generally interested in programming language semantics, especially for languages with probabilistic features. Before starting his PhD, he built a verified-optimization-pass generator as part of the CertiCoq project.
Miscellany
- Personal interests include learning math, playing bullet chess, violin, and ping pong.
Co-authors