Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Darion Haase
conf.researchr.org general profile
POPL 2026 profile
SPLASH 2024 profile
Registered user since Sun 20 Oct 2024
Name:
Darion Haase
Affiliation:
RWTH Aachen University
Contributions
2026
Dafny
Author of Diagnostics in Probabilistic Program Verification within the Dafny 2026-track
LAFI
Author of Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops within the LAFI 2026-track
2024
SPLASH
Author of Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions within the OOPSLA 2024-track
Share
x
Tue 15 Sep 02:25