Di Wang 王迪
Doctoral Student of CS
Carnegie Mellon University
Biography
I am a second-year doctoral student of 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
- 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.