Not registered as user yet

Name:John Li
Affiliation:Northeastern University

Contributions

PLDI 2023 Lilac: a Modal Separation Logic for Conditional Probability
Show activities from other conferences

Using general profile