Andrzej S. Murawski
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 4 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops | POPL 2025 | 2025-01-19 |
Automated tool Diabolo implements two provable methods: residual mass semantics (fast unrolling upper/lower bounds) and geometric bound semantics (contraction… | ||
| Operational Algorithmic Game Semantics | GALOP 2024 | 2024-01-14 |
Builds a fully abstract trace model for a call-by-push-value calculus with first-order state as a labelled transition system, then refines it (via name schemes… | ||
| Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating ... | LAFI 2024 | 2024-01-14 |
Technique finds guaranteed upper and lower bounds on the posterior of discrete probabilistic programs with unbounded loops by representing distributions as… | ||
| New Results on Register Automata | Symmetry, Logic, Computation 2016 | 2016-11-07 |
Shows concrete complexity and decidability boundaries for automata over infinite alphabets: emptiness reduces to a finite-alphabet reachability via an r+1 name… | ||
| nothing matches | ||