Registered user since Fri 20 Apr 2018
I am a second-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.
|POPL 2019|| Type-Guided Worst-Case Input Generation|
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
|Show activities from other conferences|
View general profile