Tobias Winkler
where else to find them
no profile links on file
what they talk about
where they keep going back
- LAFI2 editions2023–2026
all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata | LAFI 2026 | 2026-01-11 |
Exact inference for a restricted class of discrete probabilistic programs using weighted automata that encode (possibly infinite-support distributions) as… | ||
| Verifying Sampling Algorithms via Distributional Invariants | LAFI 2026 | 2026-01-11 |
Framework treats probabilistic programs as distribution transformers and proves that the Fast Dice Roller and Fast Loaded Dice Roller produce the intended… | ||
| Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Progr... | POPL 2024 | 2024-01-14 |
Shows a semi-automatic method that synthesizes memoryless deterministic (MD) strategies for probabilistic imperative programs by transforming guards via… | ||
| Exact Probabilistic Inference Using Generating Functions | LAFI 2023 | 2023-01-15 |
Generative-function semantics represent discrete program distributions as formal power series and use multiplicative inverses to get closed-form fractions… | ||
| Weighted programming: a programming paradigm for specifying mathematical models | OOPSLA 2022 | 2022-12-05 |
Defines an imperative language with nondeterministic branching and weighted traces parameterized by a semiring, and gives a denotational semantics via a… | ||
| Out of Control: Reducing Probabilistic Models by Control-State Elimination | VMCAI 2022 | 2022-01-16 |
Title:[VMCAI'22] Out of Control: Reducing Probabilistic Models by Control-State Elimination
Authors:Tobias Winkler, Johannes Lehmann, Joost-Pieter… | ||
| nothing matches | ||