2 posts tagged with "publications"

The artifact associated with our OOPSLA '23 publication A Deductive Verification Infrastructure for Probabilistic Programs has received the Distinguished Artifact award, praising exceptionally high quality. The artifact consists the tool Caesar together with benchmark examples.

The artifact has a page in the ACM Digital Library and can be downloaded from Zenodo.

HeyVL and Caesar were accepted at OOPSLA '23: A Deductive Verification Infrastructure for Probabilistic Programs by Schröer et al. The artifact received the reusable badge, which is the highest possible badge.

The preprint is available on arxiv: https://arxiv.org/abs/2309.07781.

You can find more information on our publications page.