Jialu Bao -

Registered user since Mon 25 Nov 2019

Name:Jialu Bao

Affiliation:Cornell University

Personal website:https://baojia.lu/about/

Contributions

PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2022	Author of A Separation Logic for Negative Dependence within the POPL-track
POPL 2020	Author of A logic for verifying conditional independence within the Student Research Competition-track