Author name cluster

Daniel Zilken

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

FM Conference 2026 Conference Paper

Verifying Sampling Algorithms via Distributional Invariants

Daniel Zilken
Kevin Batz
Joost-Pieter Katoen
Tobias Winkler

Abstract This paper presents a Hoare-like verification framework for discrete probabilistic programs that we apply to two non-trivial sampling algorithms: Lumbroso’s Fast Dice Roller and Saad et al. ’s Fast Loaded Dice Roller. These algorithms have previously resisted formal verification due to their probabilistic nature, intricate loop structure, and parametric input. Our approach complements existing proof rules based on inductive distributional invariants, enabling us to verify both total and partial correctness of the two algorithms.

DOI