Giallar: push-button verification for the qiskit Quantum compiler
- Runzhou Tao
- Yunong Shi
- et al.
- 2022
- PLDI 2022
Publications
4 results for Yunong Shi
Software-Hardware Co-Optimization for Computational Chemistry on Superconducting Quantum Processors
- Gushu Li
- Yunong Shi
- et al.
- 2021
- ISCA 2021
Resource-Efficient Quantum Computing by Breaking Abstractions
- Yunong Shi
- Pranav Gokhale
- et al.
- 2020
- Proceedings of the IEEE
Fault-Tolerant preparation of approximate GKP states
- Yunong Shi
- Christopher Chamberland
- et al.
- 2019
- New Journal of Physics