Software Tools & Verification Charles Yuan
26 | Abstractions Are Bridges Toward Quantum Programming
In this talk, I present abstractions that help classical developers reason about the quantum world, with the goal of designing expressive and sound tools for quantum programming.
Networking & Communication Wei Tang
16 | Distributed Quantum Computing
Quantum processing units (QPUs) have to satisfy highly demanding quantity and quality requirements on their qubits to produce accurate results for problems at useful scales.