Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
Di Wang

Registered user since Fri 20 Apr 2018

Name: Di Wang

Bio: 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.

Country: United States

Affiliation: Carnegie Mellon University

Personal website: https://www.cs.cmu.edu/~diw3/

Research interests: Probabilistic programming, Quantitative program analysis, Higher type theory, Program synthesis

Contributions

POPL 2019Author of Type-Guided Worst-Case Input Generation within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

Using general profile