Jialu Bao
where else to find them
no profile links on file
what they talk about
where they keep going back
on a stage with
- Azadeh Farzanonce
- Emanuele D'Osualdoonce
- Joseph Tassarottionce
all 8 in the filters
who talks about the same things
- Emanuele D'Osualdo7 talks
- John M. Li4 talks
- Joseph Tassarotti20 talks
- Justin Hsu13 talks
- Alejandro Aguirre10 talks
- Kwing Hei Li6 talks
| title | conference | date |
|---|---|---|
| Towards an Equational Calculus of Interventions | LAFI 2026 | 2026-01-11 |
Presents a typed equational theory that rewrites interventions in probabilistic programs into equivalent do‑free programs by replacing mechanisms with a free… | ||
| Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning | POPL 2025 | 2025-01-19 |
Bluebell is a program logic that unifies unary and relational proofs by adding a joint conditioning modality that encodes conditional independence and… | ||
| Mixture Languages | LAFI 2024 | 2024-01-14 |
Claim of a general-purpose continuous-process programming language with a native notion of parallel composition: states are topological manifolds, semantics… | ||
| A Separation Logic for Negative Dependence | POPL 2022 | 2022-01-16 |
Design of LINA, a probabilistic separation logic that adds a second separating conjunction for negative dependence alongside the independence star, with… | ||
| nothing matches | ||