| 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 | 31 | 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 | 26 | 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 | 26 | 2021 |
| Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning J Bao, E D'Osualdo, A Farzan Proceedings of the ACM on Programming Languages 9 (POPL), 1719-1749, 2025 | 10 | 2025 |
| 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 | 3 | 2020 |
| A Categorical Approach to DIBI Models T Gu, J Bao, J Hsu, A Silva, F Zanasi arXiv preprint arXiv:2401.05842, 2024 | 1 | 2024 |
| Structure Amplification on Multi-layer Stochastic Block Models K He, X Xin, J Bao, M Wang, B Selman, JE Hopcroft ACM Transactions on Knowledge Discovery from Data 19 (1), 1-26, 2025 | | 2025 |
| Probabilistic Separation Logics for Randomized Algorithms J Bao Cornell University, 2025 | | 2025 |
Justin HsuCornell UniversityVerified email at justinhsu.net
