Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kevin Batz
conf.researchr.org general profile
ETAPS 2019 profile
ICFP/SPLASH 2025 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2022 profile
SPLASH 2023 profile
Not registered as user
Name:
Kevin Batz
Country:
Germany
Affiliation:
RWTH Aachen University
Contributions
2025
SPLASH
Author of Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back within the OOPSLA-track
2024
POPL
Author of Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs within the POPL-track
Dafny
Author of Caesar: A Verifier for Probabilistic Programs within the Dafny 2024-track
2023
SPLASH
Author of A Deductive Verification Infrastructure for Probabilistic Programs within the OOPSLA-track
POPL
Author of A Calculus for Amortized Expected Runtimes within the POPL-track
2022
SPLASH
Author of Weighted programming: a programming paradigm for specifying mathematical models within the OOPSLA-track
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2021
POPL
Author of Relatively Complete Verification of Probabilistic Programs within the POPL-track
2019
QAPL
Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track
POPL
Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track
Share
x
Mon 22 Sep 03:44