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.