Login / Signup
Bhakti Shah
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Formal Verification
Model Checking
Query Language For Xml
Theorem Prover
Top Venues
CoRR
SIGSOFT FSE Companion
</>
Publications
</>
Craig Disselkoen
,
Aaron Eline
,
Shaobo He
,
Kyle Headley
,
Michael Hicks
,
Kesha Hietala
,
John H. Kastner
,
Anwar Mamat
,
Matt McCutchen
,
Neha Rungta
,
Bhakti Shah
,
Emina Torlak
,
Andrew Wells
How We Built Cedar: A Verification-Guided Approach.
SIGSOFT FSE Companion
(2024)
Craig Disselkoen
,
Aaron Eline
,
Shaobo He
,
Kyle Headley
,
Michael Hicks
,
Kesha Hietala
,
John H. Kastner
,
Anwar Mamat
,
Matt McCutchen
,
Neha Rungta
,
Bhakti Shah
,
Emina Torlak
,
Andrew Wells
How We Built Cedar: A Verification-Guided Approach.
CoRR
(2024)
Bhakti Shah
,
William Spencer
,
Laura Zielinski
,
Ben Caldwell
,
Adrian Lehmann
,
Robert Rand
ViCAR: Visualizing Categories with Automated Rewriting in Coq.
CoRR
(2024)
Adrian Lehmann
,
Ben Caldwell
,
Bhakti Shah
,
Robert Rand
VyZX: Formal Verification of a Graphical Quantum Language.
CoRR
(2023)