conf.researchr.org / Raven Beutner

Registered user since Mon 17 May 2021

Name:Raven Beutner
Country:Germany
Affiliation:CISPA Helmholtz Center for Information Security, Germany

Contributions

PLDI 2022 Author of (PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions within the SIGPLAN Track-track
SPLASH 2021 Author of On Probabilistic Termination of Functional Programs with Continuous Distributions within the SIGPLAN Papers-track
PLDI 2021 Author of On Probabilistic Termination of Functional Programs with Continuous Distributions within the PLDI-track