30 citations · 96 across the 6 of their papers we have counts for
4 papers · 1 filter
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
Charles Yuan, Michael Carbin
Numerous quantum algorithms require the use of quantum error correction to overcome the intrinsic unreliability of physical qubits. However, error correction imposes a unique perfo…
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Charles Yuan, Agnes Villanyi, Michael Carbin
Quantum algorithms for tasks such as factorization, search, and simulation rely on control flow such as branching and iteration that depends on the value of data in superposition.…
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Charles Yuan, Christopher McNally, Michael Carbin
Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming…
Tower: Data Structures in Quantum Superposition
Charles Yuan, Michael Carbin
Emerging quantum algorithms for problems such as element distinctness, subset sum, and closest pair demonstrate computational advantages by relying on abstract data structures. Pra…