Hi, I'm Yuhao Liu, a 3rd PhD student 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 programming languages, reasoning and verification, hopping 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.

• 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)

• XGrid
  Domain-specific language for developing partial differential equation solvers

• Teaching Assistant
  UPenn CIS 4710 Computer Organization and Design (2025)
• Teaching Assistant
  UPenn CIS 3990 Introduction To Quantum Computing (2024)