[cpp'26] Specification, Semantics, And Verification Of Quantum Programs
Synopsis
Specification, Semantics, and Verification of Quantum Programs (Video, CPP 2026) Jennifer Paykin (University of Vermont) ...
You Might Also Like
![[PLanQC'26] Democratizing quantum formal verification: the path-sum way](https://i.ytimg.com/vi/EUfmXQKUEUg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDqo5n7o-LIpxymlVKdPz7E0QKBjg)
![[PLanQC'26] A Unified Assertion-Based Framework for Classical-Quantum Program Verification](https://i.ytimg.com/vi/MlfElLSb7ko/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCYgsVJwDC6mwfLLve4gPMSAEe9HA)
![[PLanQC'26] Denotational semantics for stabiliser quantum programs](https://i.ytimg.com/vi/wkL89W6Fogc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB2Povbs5sBwj64vQP-_37EjrbuDg)
![[CPP'26] Enhancing Symbolic Execution with Machine-Checked Safety Proofs](https://i.ytimg.com/vi/5O6eSztbk4o/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCZy2RoTGmRpSBNCzMGgNHjOOLG-g)
![[POPL'26] Parameterized Verification of Quantum Circuits](https://i.ytimg.com/vi/JUsI21KtXG4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCdq19oa_1n0UAL7d_lUBkhy6mSDQ)
![[CPP'26] A Certifying Proof Assistant for Synthetic Mathematics in Lean](https://i.ytimg.com/vi/iMkxBZvMSr0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD0Cn11OLAxuQ7NC6dnuJjpHONXaQ)
![[POPL'23] CoqQ: Foundational Verification of Quantum Programs](https://i.ytimg.com/vi/RjKCP8U-1Zg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCeWif4tw-TI5lRYZehXwBR-NXDDQ)
![[WQS24] Quantum program analysis: Verification and Testing](https://i.ytimg.com/vi/T4d0ZmljNyk/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBDlO-HfgjsqXcTGYoTZOlSX2yAZQ)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.