247 citations · 1.6k across the 40 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021★ 3 cited
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…
cs.PL2019★ 29 cited
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…