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!
• [Jun 2024] Our papers on Programmable MCMC with Soundly Composed Guide Programs (with Long Pham, Feras Saad, and Jan Hoffmann) and Semantics Lifting for Syntactic Sugar (with Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, and Zhenjiang Hu) has been conditionally accepted to OOPSLA 2024.
• [Jun 2024] Our paper on Formalizing, Mechanizing, and Verifying Class-based Refinement Types (with Ke Sun, Sheng Chen, Meng Wang, and Dan Hao) has been accepted to ECOOP 2024.
• [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

• Fall 2024: Compiler Principles (with Prof. Lu Zhang and Prof. Xianhua Liu)
• 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.