Ezio Bartocci
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Exact Inference for Nested Discrete Probabilistic Programs | LAFI 2025 | 2025-01-19 |
Reduces nested discrete probabilistic programs to a probabilistic pushdown automata and then to a monotone system of polynomial equations whose variables are… | ||
| This Is the Moment for Probabilistic Loops | OOPSLA 2022 | 2022-12-05 |
Static analysis derives exact higher moments for many probabilistic loops, producing closed‑form expressions and tail bounds automatically without templates or… | ||
| nothing matches | ||