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)

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

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)