[planqc'22] Analyzing Quantum Programs Using The Power Of Interaction
Synopsis
Analyzing quantum programs using the power of interaction Agnes Villanyi (MIT) Charles Yuan (MIT CSAIL) Christopher McNally ...
You Might Also Like
![[PLanQC'26] Towards a Hierarchical Quantum Circuit Language](https://i.ytimg.com/vi/ZTgbHmMRikE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBpRcufbWE92XKTL-8Dns8byYd2QA)
![[PLanQC'22] Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantu...](https://i.ytimg.com/vi/_wIMpA-0Qww/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBjV7SAGK_JJkiQi362akhNxu7eFg)
![[PLanQC'22] Topological Quantum Programming in TED-K](https://i.ytimg.com/vi/0zmHpi0wTAI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB2blWnAEzzWoGT2bPDJx1FKQwGaA)
![7 INSANE Quantum Breakthroughs: Did This Nobel Trick Rewrite Physics? [2025] #shorts](https://i.ytimg.com/vi/B8KhyDA9flI/hq720_2.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGABwAcABBvABAfgBtgiAAoAPigIMCAAQARhyIEAoOzAP&rs=AOn4CLC05KisIjGhpxwmQOUq2v_3FYlo4Q)
![[PLanQC'26] A Unified Assertion-Based Framework for Classical-Quantum Program Verification](https://i.ytimg.com/vi/MlfElLSb7ko/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCYgsVJwDC6mwfLLve4gPMSAEe9HA)
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.