122 citations · 169 across the 9 of their papers we have counts for
3 papers · 1 filter
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao +5
This paper presents Giallar, a fully-automated verification toolkit for quantum compilers. Giallar requires no manual specifications, invariants, or proofs, and can automatically v…
Optimized Quantum Program Execution Ordering to Mitigate Errors in Simulations of Quantum Systems
Teague Tomesh, Kaiwen Gui, Pranav Gokhale +4
Simulating the time evolution of a physical system at quantum mechanical levels of detail -- known as Hamiltonian Simulation (HS) -- is an important and interesting problem across…
DigiQ: A Scalable Digital Controller for Quantum Computers Using SFQ Logic
Mohammad Reza Jokar, Richard Rines, Ghasem Pasandi +5
The control of cryogenic qubits in today's superconducting quantum computer prototypes presents significant scalability challenges due to the massive costs of generating/routing th…