Jialu Bao

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Logic Programming

Conditional Independencies

Community Detection

Stochastic Model

Top Venues

Proc. ACM Program. Lang.

Publications

Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. CoRR (2024)
Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning. CoRR (2024)
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. FSCD (2024)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). IJCAI (2023)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs. CAV (1) (2022)
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
A separation logic for negative dependence. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs. CoRR (2021)
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
A Bunched Logic for Conditional Independence. LICS (2021)
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
A Separation Logic for Negative Dependence. CoRR (2021)
Xiaodong Xin, Kun He, Jialu Bao, Bart Selman, John E. Hopcroft
Structure Amplification on Multi-layer Stochastic Block Models. CoRR (2021)
Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft
Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective. CoRR (2020)
Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft
Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective. TAMC (2020)
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
A Logic to Reason about Dependence and Independence. CoRR (2020)