19:42[POPL'22] Twist: Sound Reasoning for Purity and Entanglement in Quantum ProgramsACM SIGPLAN137 viewsView & Download
20:07[POPL'22] A Quantum Interpretation of Separating Conjunction for Local Reasoning of QuantuACM SIGPLAN68 viewsView & Download
1:00:46Value Semantics: Safety, Independence, Projection, & Future of Programming - Dave Abrahams CppCon 22CppCon19.6K viewsView & Download
56:50Michael Mislove: Semantic models for quantum programming languagesLaQuTeC70 viewsView & Download
58:14[POPL'22] Coalgebra for the working programming languages researcherACM SIGPLAN2.4K viewsView & Download
22:26The Variational Quantum Eigensolver — Programming on Quantum Computers — Coding with Qiskit S2E4Qiskit36.1K viewsView & Download
53:22[CPP'26] Specification, Semantics, and Verification of Quantum ProgramsACM SIGPLAN113 viewsView & Download
4:57Variational Quantum Algorithms Explained (VQE & Parameterized Circuits)CodeLucky231 viewsView & Download
4:57Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs (Teaser)ACM SIGPLAN1.5K viewsView & Download
31:07Variational Quantum Eigensolver (VQE) Explained — Hands-On Quantum Algorithm WebinarThe Quantum Kid50.7K viewsView & Download
24:53[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic ExecutionACM SIGPLAN446 viewsView & Download
48:05Variational Quantum Eigensolver | Qiskit Global Summer School 2023Qiskit10.5K viewsView & Download