Kevin Batz -

Not registered as user yet

Name:Kevin Batz

Country:Germany

Affiliation:RWTH Aachen University

Contributions

POPL 2023	Author of A Calculus for Amortized Expected Runtimes within the POPL-track
SPLASH 2022	Author of Weighted programming: a programming paradigm for specifying mathematical models within the OOPSLA-track
POPL 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2021	Author of Relatively Complete Verification of Probabilistic Programs within the POPL-track
QAPL 2019	Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track
POPL 2019	Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track