Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kevin Batz
conf.researchr.org general profile
ETAPS 2019 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
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
Sun 22 Dec 06:16