..

Bio

I am a PhD candidate at Hong Kong University of Science and Technology (HKUST), work with Charles Zhang. I do research in PLSE and Music. My research revolves around enhancing Intermediate Representations (IR) with symbolic methods. Meanwhile, I study Jazz music with Christine Xu.

Before this, I obtained my computer science bechelor degree from Wuhan University, and was fortunately advised by Prof. Xiaoyuan Xie on my final year project (Golang bug detection).

---

Research

In the earlier stage of my PhD study, I put efforts in improving the Intermediate Representation (IR) for static analysis community.

• Synthesis-aided IR Translation:

  • between versions [ASPLOS'24]
  • or cross IRs [Working paper].

• Algorithms on IR Graphs

  • Linux specification deduction on Program Dependence Graph (PDG) [EuroSys'25]. The tool unseals 95 bugs.
  • Improved Inter-procedural Control Flow Graph (ICFG) construction [CCS'26].
  • Indexed Value Flow Graph (VFG) Traversal [Working paper]

These experiences led me to the current passion: designing a compiler and IR for Jazz music, and help people build musicianship.

---

Academic Service

• Program Comittee: ICSE'26 Shadow (distinguished reviewer), ICSE'27.
• Student Volunteer: SPLASH'25 (FARM'25)
• Paper sub- reviewer: OOPSLA'23 SRC, ISSTA'24, ICSE'24, POPL'25, OOPSLA'26
• Artifact reviewer: OSDI'23, ATC'23, USENIX'24 (distinguished reviewer), ICSE'25, USENIX'25, PLDI'25, S&P'26
• Teaching Assistant:
  • Computer Systems (2020 Fall). Wuhan University.
  • Introduction to Computer Science (2022 Fall, 2023 Fall). HKUST.
  • Java Programming (2022 Spring). HKUST.
  • Software Engineering (2024 Fall). HKUST.

---

Industrial

During my study, I enjoyed doing research and writing code in Goplus Security (Solidity Static Analysis), Alibaba Cloud (C++ Compilers), Webank (Java Static analysis), and Tencent (Testing).

Last updated @2026.5