Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jialu Bao
conf.researchr.org general profile
PLDI 2022 profile
POPL 2020 profile
POPL 2022 profile
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
Share
x
Wed 6 Jul 21:49