Skip to content

Jialu Bao

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

5

Active years

2020–2024

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2024FSCDA Categorical Approach to DIBI Models.Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2023IJCAIData-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2022CAVData-Driven Invariant Learning for Probabilistic Programs.Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2021LICSA Bunched Logic for Conditional Independence.Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2020TAMCHidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective.Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft