Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Zilken
conf.researchr.org general profile
FM 2026 profile
POPL 2026 profile
Registered user since Mon 17 Mar 2025
Name:
Daniel Zilken
Contributions
2026
FM
Author of Verifying Sampling Algorithms via Distributional Invariants within the Research Track-track
LAFI
Author of Verifying Sampling Algorithms via Distributional Invariants within the LAFI 2026-track
Share
x
Sat 27 Jun 09:45