• Sign in
  • Sign up
conf.researchr.org / Jialu Bao
  • PLDI 2022 profile
  • POPL 2020 profile
  • POPL 2022 profile
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

Share
xWed 6 Jul 21:49
using conf.researchr.org (v1.56.1)
Support page
Sign Up