I am an Assistant Professor at Peking University’s School of Computer Science, a member of the Programming Languages Lab, and a research advisor of the Turing Program.

My main interest is in programming languages in general, and formal verification, program analysis, and probabilistic programming in particular. My mission is to develop universal and easy-to-use abstractions and paradigms for programming safe and efficient software, and programming-language-level integrations to automatically analyze, optimize, and synthesize programs. Currently, I am working on resource-safe system programming, programmable Bayesian inference, quantitative program analysis, and proof-oriented programming languages.

Before joining Peking University, I received my Ph.D. from Carnegie Mellon University under the supervision of Prof. Jan Hoffmann.

Here is my Curriculum Vitae.

News

• I am always looking for motivated students. Please take a look at this link if you are interested!
• [Jan 2024] Our article on Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms has been accepted to TOPLAS.
• [Dec 2023] Our paper on Newtonian Program Analysis of Probabilistic Programs (with Tom Reps) has been accepted to OOPSLA 2024.
• [Sep 2023] I will serve on PLDI 2024 Program Committee.
• [July 2023] Our technical report about Newtonian Program Analysis of Probabilistic Programs is available on arXiv.
• [May 2023] I will serve on OOPSLA 2024 Review Committee.
• [May 2023] I will serve on ASE 2023 Program Committee.
• [Sep 2022] Our paper on Probabilistic Resource-Aware Session Types (with Ankush and Jan) has been conditionally accepted to POPL 2023!
• [May 2022] I successfully defended my thesis: Static Analysis of Probabilistic Programs: An Algebraic Approach. Cheers!

Older news can be found at this link.

Teaching

• Spring 2024
  • Compiler Principles (with Prof. Lu Zhang and Prof. Xianhua Liu)
  • Design Principles of Programming Languages (with Prof. Haiyan Zhao)
• Fall 2023: Compiler Principles (with Prof. Lu Zhang and Prof. Xianhua Liu)
• Spring 2023: Design Principles of Programming Languages (with Prof. Haiyan Zhao)

Service

• Program/Review Committee:
  • 2024: OOPSLA 2024. PLDI 2024.
  • 2023: ASE 2023.