I am a Ph.D. student in the Programming Languages Lab of Peking University. I am advised by Prof. Zhenjiang Hu. My broad research interest lies in programming languages, and I am currently focused on implementing domain-specific languages (DSLs) and their supporting tooling, with a particular emphasis on IDEs for DSLs.

Education

Integrated MSc-PhD in Computer Science, 2022-

Programming Languages Lab, School of Computer Science, Peking University

BSc in Computer Science, 2018-2022

School of EECS, Peking University

Publications

• Semantics Lifting for Syntactic Sugar. Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu. In OOPSLA 2024.
• Effective random test generation for deep learning compilers. Luyao Ren, Ziheng Wang, Li Zhang, Guoyue Jiang, Yingfei Xiong, Tao Xie. In Science China Information Sciences (2025)

Teaching

• Teaching assistant. Introduction to Computing (B) (Fall 2023).
• Teaching assistant. Data Structure and Algorithm (B) (Spring 2023).