VyZX: Formal Verification of a Graphical Quantum Language with automated structural rewrites
Talk, QPL'24, Buenos Aires, AR
Talks and presentations
Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
Talk, EGRAPHS24, Copenhagen, DK
Abstract
VyZX : Formal Verification of a Graphical Language (Extended version)
Talk, UCSC LSD Seminar x UChicago PLRG, Zoom
Presented at University of California Santa Cruz LSD Seminar and UChicago Programming Languages Reading Group.
VyZX : Formal Verification of a Graphical Language
Talk, Midwest Programming Languages Summit (MWPLS) 2023, Ann Arbor, MI, United States
Presented at Midwest Programming Languages Summit (MWPLS) 2023
VyZX : A vision for verifying the ZX calculus
Talk, Quantum Physics and Logic 2022, Oxford, United Kingdom
Presenting our pre-print paper on VyZX in Tool session at Quantum Physics and Logic 2022, Oxford, United Kingdom. You can find the recording on YouTube.