257 citations · 1.7k across the 43 of their papers we have counts for
6 papers · 1 filter
Challenges and Opportunities of Near-Term Quantum Computing Systems
A. D. Corcoles, A. Kandala, A. Javadi-Abhari +6
The concept of quantum computing has inspired a whole new generation of scientists, including physicists, engineers, and computer scientists, to fundamentally change the landscape…
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…
Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights
Prakash Murali, Norbert Matthias Linke, Margaret Martonosi +3
In recent years, Quantum Computing (QC) has progressed to the point where small working prototypes are available for use. Termed Noisy Intermediate-Scale Quantum (NISQ) computers,…
Resource Optimized Quantum Architectures for Surface Code Implementations of Magic-State Distillation
Adam Holmes, Yongshan Ding, Ali Javadi-Abhari +3
Quantum computers capable of solving classically intractable problems are under construction, and intermediate-scale devices are approaching completion. Current efforts to design l…
Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems
Prakash Murali, Ali Javadi-Abhari, Frederic T. Chong +1
Noisy, intermediate-scale quantum (NISQ) systems are expected to have a few hundred qubits, minimal or no error correction, limited connectivity and limits on the number of gates t…
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers
Prakash Murali, Jonathan M. Baker, Ali Javadi Abhari +2
A massive gap exists between current quantum computing (QC) prototypes, and the size and scale required for many proposed QC algorithms. Current QC implementations are prone to noi…