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

Fast Virtual Gate Extraction For Silicon Quantum Dot Devices. - Shize Che; Seongwoo Oh; Haoyun Qin; Yuhao Liu 017; Anthony Sigillito; Gushu Li (DAC, 2024)

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

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

Fast Virtual Gate Extraction For Silicon Quantum Dot Devices. - Shize Che; Seong W. Oh; Haoyun Qin; Yuhao Liu 017; Anthony Sigillito; Gushu Li (CoRR, 2024)

λ-trim: Optimizing Function Initialization in Serverless Applications With Cost-driven Debloating. - Xuting Liu 003; Spyros Pavlatos; Yuhao Liu 017; Vincent Liu 001 (ASPLOS (3), 2025)

Verifying Fault-Tolerance of Quantum Error Correction Codes. - Kean Chen; Yuhao Liu 017; Wang Fang 001; Jennifer Paykin; Xin-Chuan Wu; Albert T. Schmitz; Steve Zdancewic; Gushu Li (CAV (4), 2025)

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

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

QTurbo: A Robust and Efficient Compiler for Analog Quantum Simulation. - Junyu Zhou 005; Yuhao Liu 017; Shize Che; Anupam Mitra; Efekan Kökcü; Ermal Rrapaj; Costin Iancu; Gushu Li (ASPLOS (1), 2026)

AlphaSyndrome: Tackling the Syndrome Measurement Circuit Scheduling Problem for QEC Codes. - Yuhao Liu 017; Shuohao Ping; Junyu Zhou 005; Ethan Decker; Justin Kalloor; Mathias Weiden; Kean Chen; Yunong Shi; Ali Javadi-Abhari; Costin Iancu; Gushu Li (ASPLOS (2), 2026)