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
POPL 2026 profile
Registered user since Mon 25 Nov 2019
Name:
Jialu Bao
Affiliation:
Northeastern University
Personal website:
https://baojia.lu/about/
Contributions
2026
LAFI
Committee Member in Program Committee within the LAFI 2026-track
Author of Towards an Equational Calculus of Interventions within the LAFI 2026-track
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
Mon 20 Jul 15:29
