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.
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.