Giallar: push-button verification for the qiskit Quantum compiler
- Runzhou Tao
- Yunong Shi
- et al.
- 2022
- PLDI 2022
Publications
Date
Featured collections
Popular topics
12 results for Frederic T. Chong
Magic-state functional units: Mapping and scheduling multi-level distillation circuits for fault-Tolerant quantum architectures
- Yongshan Ding
- Adam Holmes
- et al.
- 2018
- MICRO 2018
Charm: A language for closed-form high-level architecture modeling
- Weilong Cui
- Yongshan Ding
- et al.
- 2018
- ISCA 2018
Quancorde: Boosting fidelity with Quantum Canary Ordered Diverse Ensembles
- Gokul Subramanian Ravi
- Jonathan M. Baker
- et al.
- 2022
- ICRC 2022
VAQEM: A Variational Approach to Quantum Error Mitigation
- Gokul Subramanian Ravi
- Kaitlin N. Smith
- et al.
- 2022
- HPCA 2022
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers
- Prakash Murali
- Jonathan M. Baker
- et al.
- 2019
- ASPLOS 2019
Scaffcc: A framework for compilation and analysis of quantum computing programs
- Ali JavadiAbhari
- Shruti Patil
- et al.
- 2014
- CF 2014
TimeStitch: Exploiting Slack to Mitigate Decoherence in Quantum Circuits
- Kaitlin N. Smith
- Gokul Subramanian Ravi
- et al.
- 2022
- ACM TQC
Programming physical quantum systems with pulse-level control
- Kaitlin N. Smith
- Gokul Subramanian Ravi
- et al.
- 2022
- Frontiers in Physics
Resource-Efficient Quantum Computing by Breaking Abstractions
- Yunong Shi
- Pranav Gokhale
- et al.
- 2020
- Proceedings of the IEEE