122 citations · 168 across the 8 of their papers we have counts for
13 papers
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…
Paulihedral: A Generalized Block-Wise Compiler Optimization Framework For Quantum Simulation Kernels
Gushu Li, Anbang Wu, Yunong Shi +3
The quantum simulation kernel is an important subroutine appearing as a very long gate sequence in many quantum programs. In this paper, we propose Paulihedral, a block-wise compil…
Software-Hardware Co-Optimization for Computational Chemistry on Superconducting Quantum Processors
Gushu Li, Yunong Shi, Ali Javadi-Abhari
Computational chemistry is the leading application to demonstrate the advantage of quantum computing in the near term. However, large-scale simulation of chemical systems on quantu…
Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)
Runzhou Tao, Yunong Shi, Jianan Yao +3
Practical error analysis is essential for the design, optimization, and evaluation of Noisy Intermediate-Scale Quantum(NISQ) computing. However, bounding errors in quantum programs…