Skip to main content

Academic Publications

Caesar is a project from a collaboration of the Chair for Software Modeling and Verification (MOVES) at RWTH Aachen University, the QUAVE group at Saarland University, the PPLV group at University College London and the SSE section at Denmark Technical University.

If you are interested in collaborations or simply have some questions, please reach out to Philipp Schroer (phisch@cs.rwth-aachen.de).

OOPSLA '23: A Deductive Verification Infrastructure for Probabilistic Programs​

HeyVL and Caesar were first published at OOPSLA '23: A Deductive Verification Infrastructure for Probabilistic Programs by Schröer et al.

For publication, please cite as follows:

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs. Proceedings of the ACM on Programming Languages 7, OOPSLA 2023. DOI: https://doi.org/10.1145/3622870.

An extended version with proofs and details on encodings is available on arXiv: A Deductive Verification Infrastructure for Probabilistic Programs (extended version) — arXiv:2309.07781.

The artifact for our OOPSLA '23 publication is available on Zenodo. During artifact evaluation, it received the reusable badge.