Hello, I'm Yuhao Liu, a PhD student advised by Gushu Li at the University of Pennsylvania.

My research focues on Quantum Computing and Formal Methods. Specifically, I study how to construct quantum compilers and programming languages, reasoning about them and explore more semantics than merely gates and circuits. I hope my study could bring quantum computing to more areas.

I'm also interested in High-Performance Computing, especially how programming languages enhance the productivity of developing software for supercomputers.

Pinned Publications

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

Other Publications

• MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
  Xiuqi Cao, Junyu Zhou, Yuhao Liu, Yunong Shi, Gushu Li
  arXiv Preprint
• 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)

Projects

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

Teaching

• Teaching assistant for UPenn CIS 3990 Introduction To Quantum Computing