VyZX: Formal Verification of a Graphical Quantum Language. - Adrian Lehmann; Ben Caldwell; Bhakti Shah; Robert Rand 001 (CoRR, 2023)

How We Built Cedar: A Verification-Guided Approach. - Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; John H. Kastner; Anwar Mamat; Matt McCutchen; Neha Rungta; Bhakti Shah; Emina Torlak; et al. (SIGSOFT FSE Companion, 2024)

ViCAR: Visualizing Categories with Automated Rewriting in Coq. - Bhakti Shah; William Spencer; Laura Zielinski; Ben Caldwell; Adrian Lehmann; Robert Rand 001 (CoRR, 2024)