122 citations · 319 across the 13 of their papers we have counts for
14 papers
Bosehedral: Compiler Optimization for Bosonic Quantum Computing
Junyu Zhou, Yuhao Liu, Yunong Shi +2
Bosonic quantum computing, based on the infinite-dimensional qumodes, has shown promise for various practical applications that are classically hard. However, the lack of compiler…
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…
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…
Optimized Quantum Compilation for Near-Term Algorithms with OpenPulse
Pranav Gokhale, Ali Javadi-Abhari, Nathan Earnest +2
Quantum computers are traditionally operated by programmers at the granularity of a gate-based instruction set. However, the actual device-level control of a quantum computer is pe…
Term Grouping and Travelling Salesperson for Digital Quantum Simulation
Kaiwen Gui, Teague Tomesh, Pranav Gokhale +4
Digital simulation of quantum dynamics by evaluating the time evolution of a Hamiltonian is the initially proposed application of quantum computing. The large number of quantum gat…
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…