Kevin Batz -

Registered user since Mon 23 Mar 2026

Name:Kevin Batz

Country:Germany

Affiliation:University of Münster

Contributions

2026

APLAS

Co-chair in Artifact Evaluation Committee within the ATVA Research Papers-track

SPLASH

Author of Type-Directed Discretization of Probabilistic Programs within the OOPSLA-track

WADT

PLDI

Author of Weighted NetKAT: A Programming Language For Quantitative Network Verification within the PLDI Research Papers-track

FM

Author of Verifying Sampling Algorithms via Distributional Invariants within the Research Track-track

LAFI

Author of Verifying Sampling Algorithms via Distributional Invariants within the LAFI 2026-track

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