Registered user since Fri 20 Apr 2018
I am an Assistant Professor at Peking University’s School of Computer Science and a member of the Programming Languages Lab.
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.
Contributions
2024
SPLASH
- Author of Semantics Lifting for Syntactic Sugar within the OOPSLA 2024-track
- Session Chair of Probabilistic Programming and Analysis 1 (part of OOPSLA 2024)
- Session Chair of Static Analysis and Program Verification 1 (part of OOPSLA 2024)
- Author of Newtonian Program Analysis of Probabilistic Programs within the OOPSLA 2024-track
- Author of Programmable MCMC with Soundly Composed Guide Programs within the OOPSLA 2024-track
- Committee Member in Review Committee within the OOPSLA 2024-track