Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Raven Beutner
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2022 profile
POPL 2022 profile
Not registered as user
Name:
Raven Beutner
Affiliation:
CISPA Helmholtz Center for Information Security, Germany
Contributions
2025
SPLASH
Author of Verifying Asynchronous Hyperproperties in Reactive Systems within the OOPSLA-track
2022
PLDI
Author of Guaranteed bounds for posterior inference in universal probabilistic programming within the PLDI-track
LAFI
Author of Rigorous Approximation of Posterior Inference for Probabilistic Programs within the LAFI-track
Share
x
Thu 25 Sep 17:27