Biography

I am a third-year doctoral student in computer science at Carnegie Mellon University. I am advised by Prof. Jan Hoffmann. I am broadly interested in programming languages and software engineering, especially probabilistic programming, quantitative program analysis, higher type theory, and program synthesis.

I completed my undergraduate at Peking University, China where I worked with Prof. Yingfei Xiong on summarization techniques to analyze programs sharing big libraries.

Here is my Curriculum Vitae.

News

• Our articles Liquid Resource Types and Raising Expectations: Automating Expected Cost Analysis with Types have been accepted to ICFP 2020.
• Check out our recent MFPS paper on A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism with Jan and Tom.
• Great news: Our paper on Resource-Guided Program Synthesis has been conditionally accepted to PLDI 2019.
• I’m excited that our paper Type-Guided Worst-Case Input Generation with Jan Hoffmann has benn accepted to POPL 2019.
• Check out my talent show Chengdu on SCS Day 2018!
• I’m excited that our paper PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs (with Jan Hoffmann and Tom Reps) has been conditionally accepted to PLDI 2018.