Registered user since Fri 20 Apr 2018
Name: Di Wang
Bio: I am a 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, type systems, static resource analysis, and program synthesis. Currently, I am working on language-level integrations for Bayesian inference and probabilistic programming systems.
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, Type systems, Static resource analysis, Program synthesis
|PLDI 2021|| Central Moment Analysis for Cost Accumulators in Probabilistic Programs|
Sound Probabilistic Inference via Guide Types
|Show activities from other conferences|