122 citations · 319 across the 13 of their papers we have counts for
4 papers · 1 filter
Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines
Pranav Gokhale, Yongshan Ding, Thomas Propson +6
Quantum computing is on the cusp of reality with Noisy Intermediate-Scale Quantum (NISQ) machines currently under development and testing. Some of the most promising algorithms for…
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
Yunong Shi, Runzhou Tao, Xupeng Li +4
We present CertiQ, a verification framework for writing and verifying compiler passes of Qiskit, the most widely-used quantum compiler. To our knowledge, CertiQ is the first effort…
Fault-tolerant preparation of approximate GKP states
Yunong Shi, Christopher Chamberland, Andrew W. Cross
Gottesman-Kitaev-Preskill (GKP) states appear to be amongst the leading candidates for correcting errors when encoding qubits into oscillators. However the preparation of GKP state…
Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers
Yunong Shi, Nelson Leung, Pranav Gokhale +4
Recent developments in engineering and algorithms have made real-world applications in quantum computing possible in the near future. Existing quantum programming languages and com…