About Me

I am a final year undergraduate student in Turing Class, Peking University, advised by Prof. Yingfei Xiong. I also work with Prof. Hongfei Fu and Prof. Bingkai Lin. I am interested in problems about programs and programming languages, especially in program synthesis, decision procedures and probabilistic program verification.

Education

  • BSc in Computer Science, 2017-2021 (expected)

    Turing Class, School of EECS, Peking University

Publications

(2020). Quantitative Analysis of Assertion Violations in Probabilistic Programs. Manuscript.

PDF

(2020). Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations . Manuscript.

PDF

(2020). Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example.. OOPSLA 2020.

PDF

(2019). TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI 2020.

PDF