257 citations · 421 across the 11 of their papers we have counts for
16 papers
Boosting Quantum Fidelity with an Ordered Diverse Ensemble of Clifford Canary Circuits
Gokul Subramanian Ravi, Jonathan M. Baker, Kaitlin N. Smith +3
On today's noisy imperfect quantum devices, execution fidelity tends to collapse dramatically for most applications beyond a handful of qubits. It is therefore imperative to employ…
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…
Quality, Speed, and Scale: three key attributes to measure the performance of near-term quantum computers
Andrew Wack, Hanhee Paik, Ali Javadi-Abhari +4
Defining the right metrics to properly represent the performance of a quantum computer is critical to both users and developers of a computing system. In this white paper, we ident…
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…
Resource-Efficient Quantum Computing by Breaking Abstractions
Yunong Shi, Pranav Gokhale, Prakash Murali +11
Building a quantum computer that surpasses the computational power of its classical counterpart is a great engineering challenge. Quantum software optimizations can provide an acce…