Data-Driven Invariant Learning for Probabilistic Programs J Bao, N Trivedi, D Pathak, J Hsu, S Roy International Conference on Computer Aided Verification, 33-54, Springer …, 2022 | 17 | 2022 |
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 | 14 | 2022 |
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 | 13 | 2021 |
Hidden community detection on two-layer stochastic models: A theoretical perspective J Bao, K He, X Xin, B Selman, JE Hopcroft Theory and Applications of Models of Computation: 16th International …, 2020 | 2 | 2020 |
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning J Bao, E D'Osualdo, A Farzan arXiv preprint arXiv:2402.18708, 2024 | | 2024 |
A Categorical Approach to DIBI Models T Gu, J Bao, J Hsu, A Silva, F Zanasi arXiv preprint arXiv:2401.05842, 2024 | | 2024 |
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 |