John Li - PLDI 2023

Sat 17 - Wed 21 June 2023 Orlando, Florida, United States

Registered user since Sun 18 Jun 2023

Name:John Li

Affiliation:Northeastern University

Personal website: https://johnm.li/

Research interests:Logic, semantics, mechanized proof

Contributions

2023

PLDI

Lilac: A Modal Separation Logic for Conditional Probability

Show activities from other conferences

PLDI 2023-profile
View general profile