Di Wang

Assistant Professor, Computer Science, Peking University

Joined

April 2024

Names

Di Wang (Preferred)

Emails

****@pku.edu.cn (Confirmed)

Personal Links

Career & Education History

Assistant Professor

Computer Science, Peking University (pku.edu.cn)

2022 – Present

PhD student

Computer Science, Carnegie Mellon University (cmu.edu)

2017 – 2022

Advisors, Relations & Conflicts

PhD Advisor

2017 – 2022

Expertise

probabilistic programming

2021 – Present

programming languages

,

program analysis

,

type systems

2017 – Present

Publications

Newtonian Program Analysis of Probabilistic Programs
Di Wang, Thomas W. Reps
- CoRR 2023
- Readers: Everyone
Probabilistic Resource-Aware Session Types
Ankush Das, Di Wang, Jan Hoffmann
- Proc. ACM Program. Lang. 2023
- Readers: Everyone
Sound probabilistic inference via guide types
Di Wang, Jan Hoffmann, Thomas W. Reps
- Published: 01 Jan 2021, Last Modified: 12 May 2023
- PLDI 2021
- Readers: Everyone
Central moment analysis for cost accumulators in probabilistic programs
Di Wang, Jan Hoffmann, Thomas W. Reps
- Published: 01 Jan 2021, Last Modified: 12 May 2023
- PLDI 2021
- Readers: Everyone
Sound Probabilistic Inference via Guide Types
Di Wang, Jan Hoffmann, Thomas W. Reps
- Published: 01 Jan 2021, Last Modified: 12 May 2023
- CoRR 2021
- Readers: Everyone
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems
Di Wang, Jan Hoffmann, Thomas W. Reps
- Published: 01 Jan 2021, Last Modified: 12 May 2023
- CoRR 2021
- Readers: Everyone
Liquid Resource Types
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova
- CoRR 2020
- Readers: Everyone
Raising expectations: automating expected cost analysis with types
Di Wang, David M. Kahn, Jan Hoffmann
- Proc. ACM Program. Lang. 2020
- Readers: Everyone
Liquid resource types
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova
- Proc. ACM Program. Lang. 2020
- Readers: Everyone

View all 19 publications

Co-Authors