Jialu Bao

16 papers A* 2B 1C 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning.
Proc. ACM Program. Lang.
Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan
2025 J jnl
Data-driven invariant learning for probabilistic programs.
Formal Methods Syst. Des.
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2025 J jnl
Structure Amplification on Multi-layer Stochastic Block Models.
ACM Trans. Knowl. Discov. Data
Kun He, Xiaodong Xin, Jialu Bao, Meng Wang, Bart Selman, John E. Hopcroft
2024 B conf
A Categorical Approach to DIBI Models.
FSCD
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024 J jnl
A Categorical Approach to DIBI Models.
CoRR
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024 J jnl
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning.
CoRR
Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan
2023 A* conf
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).
IJCAI
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2022 J jnl
A separation logic for negative dependence.
Proc. ACM Program. Lang.
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
2022 — conf
Data-Driven Invariant Learning for Probabilistic Programs.
CAV (1)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2021 A* conf
A Bunched Logic for Conditional Independence.
LICS
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2021 J jnl
A Separation Logic for Negative Dependence.
CoRR
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
2021 J jnl
Data-Driven Invariant Learning for Probabilistic Programs.
CoRR
Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy
2021 J jnl
Structure Amplification on Multi-layer Stochastic Block Models.
CoRR
Xiaodong Xin, Kun He, Jialu Bao, Bart Selman, John E. Hopcroft
2020 J jnl
A Logic to Reason about Dependence and Independence.
CoRR
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2020 C conf
Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective.
TAMC
Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft
2020 J jnl
Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective.
CoRR
Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft