3 papers
cs.PL2026
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
Philipp Schröer, Joost-Pieter Katoen
We present a one-fits-all programmatic approach to reason about a plethora of objectives on probabilistic programs. The first ingredient is to add a reward-statement to the languag…
cs.PL2025
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
Philipp Schröer, Darion Haase, Joost-Pieter Katoen
This paper focuses on effective user diagnostics generated during the deductive verification of probabilistic programs. Our key principle is based on providing slices for (1) error…
cs.CR2024
Symbolic Quantitative Information Flow for Probabilistic Programs
Philipp Schröer, Francesca Randone, Raúl Pardo +1
It is of utmost importance to ensure that modern data intensive systems do not leak sensitive information. In this paper, the authors, who met thanks to Joost-Pieter Katoen, discus…