About me

I am a computer science Ph.D. student at Cornell, working on the verification of randomized algorithms. The correctness and performance of randomized algorithms are often difficult to test or reason about. I want to address this problem by enabling simple and compositional formal proofs of probabilistic programs. I am very fortunate to be advised by Prof. Justin Hsu to explore my interests.

Before moving to Cornell with my advisor, I spent two wonderful years at University of Wisconsin – Madison as a Ph.D. student, and prior to that, I did my undergrad also at Cornell majoring in Mathematics and Computer Science.

Email: jb965@cornell.edu


Jialu Bao, Emanuele D’Osualdo, Azadeh Farzan “Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning” (arxiv)


Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, and Fabio Zanasi. “A Categorical Approach DIBI models.” In International Conference on Formal Structures for Computation and Deduction (FSCD), 2024 (arxiv)

Oliver Richardson, Jialu Bao. “Mixture Languages.” In The Languages for Inference (LAFI) workshop, 2024. (extended abstract)

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy. “Data-Driven Invariant Learning for Probabilistic Programs.” In International Conference on Computer Aided Verification (CAV), 2022. Distinguished Paper Award. (arxiv) (slide)

Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti. “A Separation Logic for Negative Dependence.” In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2022. (arxiv) (5 min video) (20 min video)

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva. “A Bunched Logic for Conditional Independence.” In ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021. (arxiv) (video)

Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft. “Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective.” In International Conference on Theory and Applications of Models of Computation (TAMC), 2020. Springer. (TAMC version: arxiv) (Unpublished extended version: arxiv)