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
POPL 2024 profile
POPL 2025 profile
Registered user since Mon 25 Nov 2019
Name:
Jialu Bao
Affiliation:
Cornell University
Personal website:
https://baojia.lu/about/
Contributions
2025
POPL
Author of Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning within the POPL-track
2024
LAFI
Author of Mixture Languages within the LAFI 2024-track
2022
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL
Author of A Separation Logic for Negative Dependence within the POPL-track
2020
POPL
Author of A logic for verifying conditional independence within the Student Research Competition-track
Share
x
Sun 22 Dec 13:28
