8 papers
Verified Pauli-Product Measurement Compilation for Fault-Tolerant Quantum Computation
John Zhuoyang Ye, Jens Palsberg
Fault-tolerant quantum compilers implement gates through Pauli-product measurements and classical feedback. Verifying such a compiler requires reasoning about the quantum state and…
Reinforcement Learning for Syndrome Extraction
John Zhuoyang Ye, Aarav Pabla, Jens Palsberg
A key subtask of quantum error correction is to extract a syndrome that, if nontrivial, signals an error. The number of possible ways to extract a syndrome grows exponentially with…
A Survey of Quantum Programming Languages
Quan Do, Hersh Gupta, Xiyuan Cao +5
Quantum computing has seen multiple recent breakthroughs and is getting closer to demonstrations of an exponential advantage over classical computing for certain problems. Programm…
HALO: A Fine-Grained Resource Sharing Quantum Operating System
John Zhuoyang Ye, Jiyuan Wang, Yifan Qiao +1
As quantum computing enters the cloud era, thousands of users must share access to a small number of quantum processors. Users need to wait minutes to days to start their jobs, whi…
Scalable testing of quantum error correction
John Zhuoyang Ye, Jens Palsberg
The standard method for benchmarking quantum error-correction is randomized fault-injection testing. The state-of-the-art tool stim is efficient for error correction implementation…
Computer Science Challenges in Quantum Computing: Early Fault-Tolerance and Beyond
Jens Palsberg, Jason Cong, Yufei Ding +7
Quantum computing is entering a period in which progress will be shaped as much by advances in computer science as by improvements in hardware. The central thesis of this report is…
TrapSIMD: SIMD-Aware Compiler Optimization for 2D Trapped-Ion Quantum Machines
Jixuan Ruan, Hezi Zhang, Xiang Fang +8
Modular trapped-ion (TI) architectures offer a scalable quantum computing (QC) platform, with native transport behaviors that closely resemble the Single Instruction Multiple Data…
iSwitch: QEC on Demand via In-Situ Encoding of Bare Qubits for Ion Trap Architectures
Keyi Yin, Xiang Fang, Zhuo Chen +9
Recent advances in quantum hardware and error correction have paved the way for early fault-tolerant (EFT) quantum computing. We propose iSwitch, a hybrid system architecture for t…