John Li -

Registered user since Sun 18 Jun 2023

Name:John Li

Country:United States

Affiliation:Northeastern University

Personal website: https://johnm.li/

Research interests:Logic, semantics, mechanized proof

Contributions

2025

PLDI

Author of Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming within the PLDI Research Papers-track

LAFI

Author of Towards Symbolic Execution for Probability and Non-determinism within the LAFI 2025-track

2024

HOPE

Author of An Incremental Approach to the Semantics of Borrowing within the HOPE 2024-track

LAFI

Author of Towards a Categorical Model of the Lilac Separation Logic within the LAFI 2024-track

2023

PLDI

Author of Lilac: A Modal Separation Logic for Conditional Probability within the PLDI Research Papers-track

LAFI

Author of New foundations for probabilistic separation logic within the LAFI 2023-track