Hi!

I am a second-year Ph.D. student supervised by Prof. Xin Zhang at Programming Languages Lab, Software Engineering Institute, School of Computer Science, Peking University. I am interested in program understanding and synthesis using probabilistic approaches.

Education

• 2024-09 - present, Peking University, Ph.D. in Computer Science.
• 2020-09 - 2024-06, Nanjing University, B.E. in Software Engineering.

Publications

• Two Approaches to Fast Bytecode Frontend for Static Analysis
  Chenxi Li, Haoran Lin, Tian Tan, Yue Li
  ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2025), October 2025
  [DOI] [Artifact]