2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.PL2026★ 2 cited
VyZX: Formal Verification of a Graphical Quantum Language
Adrian Lehmann, Ben Caldwell, Bhakti Shah +2
Graphical languages are a convenient shorthand to represent computation, with rewrite rules relating one graph to another. In contrast, proof assistants rely heavily on inductive d…
cs.PL2025
ViCAR: Visualizing Categories with Automated Rewriting in Coq
Bhakti Shah, Willam Spencer, Laura Zielinski +3
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with t…
cs.SE2024
How We Built Cedar: A Verification-Guided Approach
Craig Disselkoen, Aaron Eline, Shaobo He +10
This paper presents verification-guided development (VGD), a software engineering process we used to build Cedar, a new policy language for expressive, fast, safe, and analyzable a…