Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers. - Yunong Shi; Nelson Leung 002; Pranav Gokhale; Zane M. Rossi; David I. Schuster; Henry Hoffmann; Frederic T. Chong (ASPLOS, 2019)

Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines. - Pranav Gokhale; Yongshan Ding 001; Thomas Propson; Christopher Winkler; Nelson Leung 002; Yunong Shi; David I. Schuster; Henry Hoffmann; Frederic T. Chong (MICRO, 2019)

Contract-based verification of a realistic quantum compiler. - Yunong Shi; Xupeng Li; Runzhou Tao; Ali Javadi-Abhari; Andrew W. Cross; Frederic T. Chong; Ronghui Gu (CoRR, 2019)

Optimized Quantum Compilation for Near-Term Algorithms with OpenPulse. - Pranav Gokhale; Ali Javadi-Abhari; Nathan Earnest; Yunong Shi; Frederic T. Chong (MICRO, 2020)

Resource-Efficient Quantum Computing by Breaking Abstractions. - Yunong Shi; Pranav Gokhale; Prakash Murali; Jonathan M. Baker; Casey Duckering; Yongshan Ding 001; Natalie C. Brown; Christopher Chamberland; Ali Javadi-Abhari; Andrew W. Cross; David I. Schuster; Kenneth R. Brown; et al. (Proc. IEEE, 2020)

Optimized Quantum Program Execution Ordering to Mitigate Errors in Simulations of Quantum Systems. - Teague Tomesh; Kaiwen Gui; Pranav Gokhale; Yunong Shi; Frederic T. Chong; Margaret Martonosi; Martin Suchara (ICRC, 2021)

Software-Hardware Co-Optimization for Computational Chemistry on Superconducting Quantum Processors. - Gushu Li; Yunong Shi; Ali Javadi-Abhari (ISCA, 2021)

On the Co-Design of Quantum Software and Hardware. - Gushu Li; Anbang Wu; Yunong Shi; Ali Javadi-Abhari; Yufei Ding 001; Yuan Xie 001 (NANOCOM, 2021)

Gleipnir: toward practical error analysis for Quantum programs. - Runzhou Tao; Yunong Shi; Jianan Yao; John Hui; Frederic T. Chong; Ronghui Gu (PLDI, 2021)

Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version). - Runzhou Tao; Yunong Shi; Jianan Yao; John Hui; Frederic T. Chong; Ronghui Gu (CoRR, 2021)

Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels. - Gushu Li; Anbang Wu; Yunong Shi; Ali Javadi-Abhari; Yufei Ding 001; Yuan Xie 001 (ASPLOS, 2022)

DigiQ: A Scalable Digital Controller for Quantum Computers Using SFQ Logic. - Mohammad Reza Jokar; Richard Rines; Ghasem Pasandi; Haolin Cong; Adam Holmes; Yunong Shi; Massoud Pedram; Frederic T. Chong (HPCA, 2022)

Giallar: push-button verification for the qiskit Quantum compiler. - Runzhou Tao; Yunong Shi; Jianan Yao; Xupeng Li; Ali Javadi-Abhari; Andrew W. Cross; Frederic T. Chong; Ronghui Gu (PLDI, 2022)

A Pulse Generation Framework with Augmented Program-aware Basis Gates and Criticality Analysis. - Yan-Hao Chen; Yuwei Jin; Fei Hua; Ari B. Hayes; Ang Li 006; Yunong Shi; Eddy Z. Zhang (HPCA, 2023)

The Imitation Game: Leveraging CopyCats for Robust Native Gate Selection in NISQ Programs. - Poulami Das 005; Eric Kessler; Yunong Shi (HPCA, 2023)

Elivagar: Efficient Quantum Circuit Search for Classification. - Sashwat Anagolum; Narges Alavisamani; Poulami Das 005; Moinuddin K. Qureshi; Yunong Shi (ASPLOS (2), 2024)

Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding. - Yuhao Liu; Shize Che; Junyu Zhou; Yunong Shi; Gushu Li (ASPLOS (3), 2024)

Bosehedral: Compiler Optimization for Bosonic Quantum Computing. - Junyu Zhou; Yuhao Liu; Yunong Shi; Ali Javadi-Abhari; Gushu Li (ISCA, 2024)

Surf-Deformer: Mitigating Dynamic Defects on Surface Code via Adaptive Deformation. - Keyi Yin; Xiang Fang; Travis S. Humble; Ang Li 006; Yunong Shi; Yufei Ding 001 (MICRO, 2024)

AlphaRouter: Quantum Circuit Routing with Reinforcement Learning and Tree Search. - Wei Tang; Yiheng Duan; Yaroslav Kharkov; Rasool Fakoor; Eric Kessler; Yunong Shi (QCE, 2024)

Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. - Jiong Yang 002; Yaroslav A. Kharkov; Yunong Shi; Marijn J. H. Heule; Bruno Dutertre (SAT, 2024)

Élivágar: Efficient Quantum Circuit Search for Classification. - Sashwat Anagolum; Narges Alavisamani; Poulami Das 005; Moinuddin K. Qureshi; Eric Kessler; Yunong Shi (CoRR, 2024)

Ternary Tree Fermion-to-Qubit Mapping with Hamiltonian Aware Optimization. - Yuhao Liu; Kevin Yao; Jonathan Hong; Julien Froustey; Yunong Shi; Ermal Rrapaj; Costin Iancu; Gushu Li (CoRR, 2024)

QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Architectures. - Keyi Yin; Hezi Zhang; Xiang Fang; Yunong Shi; Travis S. Humble; Ang Li 006; Yufei Ding 001 (ASPLOS (1), 2025)

HATT: Hamiltonian Adaptive Ternary Tree for Optimizing Fermion-to-Qubit Mapping. - Yuhao Liu; Kevin Yao; Jonathan Hong; Julien Froustey; Ermal Rrapaj; Costin Iancu; Gushu Li; Yunong Shi (HPCA, 2025)

CaliQEC: In-situ Qubit Calibration for Surface Code Quantum Error Correction. - Xiang Fang; Keyi Yin; Yuchen Zhu; Jixuan Ruan; Dean Tullsen; Zhiding Liang; Andrew Sornborger; Ang Li 006; Travis S. Humble; Yufei Ding 001; Yunong Shi (ISCA, 2025)

MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation. - Xiuqi Cao; Junyu Zhou; Yuhao Liu; Yunong Shi; Gushu Li (Proc. ACM Program. Lang., 2025)