Follow
Jialu Bao
Jialu Bao
Verified email at cornell.edu - Homepage
Title
Cited by
Cited by
Year
A Bunched Logic for Conditional Independence
J Bao, S Docherty, J Hsu, A Silva
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
42021
A separation logic for negative dependence
J Bao, M Gaboardi, J Hsu, J Tassarotti
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
32022
Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Perspective
J Bao, K He, X Xin, B Selman, JE Hopcroft
International Conference on Theory and Applications of Models of Computation …, 2020
22020
Data-Driven Invariant Learning for Probabilistic Programs
J Bao, D Pathak, J Hsu, S Roy
arXiv preprint arXiv:2106.05421, 2021
12021
Structure Amplification on Multi-layer Stochastic Block Models
X Xin, K He, J Bao, B Selman, JE Hopcroft
arXiv preprint arXiv:2108.00127, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–5