Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Di Wang

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

Contributions

PLDI 2021 Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Sound Probabilistic Inference via Guide Types
Show activities from other conferences

Using general profile