Hi, I'm Yuhao Liu, a 4th year PhD candidate advised by Dr. Gushu Li at the University of Pennsylvania.

I'm interested in quantum computing, formal methods and programming languages. Specifically, I study how to construct quantum compilers and hope to bring quantum computing to more areas.

In the past, I also focused on high-performance computing, especially how programming languages enhance the productivity of developing software for supercomputers.

• AlphaSyndrome: Tackling the Syndrome Measurement Circuit Scheduling Problem for QEC Codes
  Yuhao Liu, Shuohao Ping, Junyu Zhou, Ethan Decker, Justin Kalloor, Mathias Weiden, Kean Chen, Yunong Shi, Ali Javadi-Abhari, Costin Iancu, Gushu Li
  International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS' 26)
• HATT: Hamiltonian Aware Ternary Tree for Optimizing Fermion-to-Qubit Mapping
  Yuhao Liu, Kevin Yao, Jonathan Hong, Julien Froustey, Yunong Shi, Ermal Rrapaj, Costin Iancu, Gushu Li
  International Symposium on High-Performance Computer Architecture (HPCA' 25)
• Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding
  Yuhao Liu, Shize Che, Junyu Zhou, Yunong Shi, Gushu Li
  International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS' 24)
• Verifying Fault Tolerance of Quantum Error Correction Codes
  Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert Schmitz, Steve Zdancewic, Gushu Li
  International Conference on Computer Aided Verification (CAV' 25)

• QTurbo: A Robust and Efficient Compiler for Analog Quantum Simulation
  Junyu Zhou, Yuhao Liu, Shize Che, Anupam Mitra, Efekan Kökcü, Ermal Rrapaj, Costin Iancu, Gushu Li
  International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS' 26)
• 𝜆-trim: Reducing Monetary and Performance Cost of Serverless Cold Starts with Cost-driven Application Debloating
  Spyros Pavlatos*, Xuting Liu*, Yuhao Liu, Vincent Liu
  International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS' 25)
• MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
  Xiuqi Cao*, Junyu Zhou*, Yuhao Liu, Yunong Shi, Gushu Li
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI' 25)
• Bosehedral: Compiler Optimization for Bosonic Quantum Computing
  Junyu Zhou, Yuhao Liu, Yunong Shi, Ali Javadi-Abhari, Gushu Li
  International Symposium on Computer Architecture (ISCA' 24)
• Fast Virtual Gate Extraction For Silicon Quantum Dot Devices
  Shize Che, Seongwoo Oh, Haoyun Qin, Yuhao Liu, Anthony Sigillito, Gushu Li
  Design Automation Conference (DAC' 24)

• MACH-Q
  Modular and Error-Aware Software Stack for Heterogeneous Quantum Computing Ecosystems
• XGrid
  Domain-specific language for developing partial differential equation solvers

• Reviewer
  2026, ACM Transactions on Quantum Computing
• Reviewer
  2025, ACM Transactions on Quantum Computing
• Reviewer
  2025, Artifact Evaluation, the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
• Teaching Assistant
  2025, UPenn CIS 4710 Computer Organization and Design
• Teaching Assistant
  2024, UPenn CIS 3990 Introduction To Quantum Computing