Di Wang

Di Wang

Assistant Professor

Peking University

Biography

I am an Assistant Professor at Peking University’s School of Computer Science, a member of the Programming Languages Lab, and a research advisor of the Turing Program.

My main interest is in programming languages in general, and formal verification, program analysis, and probabilistic programming in particular. My mission is to develop universal and easy-to-use abstractions and paradigms for programming safe and efficient software, and programming-language-level integrations to automatically analyze, optimize, and synthesize programs. Currently, I am working on resource-safe system programming, programmable Bayesian inference, quantitative program analysis, and proof-oriented programming languages.

Before joining Peking University, I received my Ph.D. from Carnegie Mellon University under the supervision of Prof. Jan Hoffmann.

Here is my Curriculum Vitae.

News

Older news can be found at this link.

Teaching

Service

Recent Publications

(2024). Programmable MCMC with Soundly Composed Guide Programs. In OOPSLA.

Cite DOI Artifact

(2024). Semantics Lifting for Syntactic Sugar. In OOPSLA.

Cite Code DOI Artifact

(2024). Formalizing, Mechanizing, and Verifying Class-based Refinement Types. In ECOOP.

Cite DOI Artifact

(2024). Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms. In TOPLAS.

TR Cite DOI

(2023). Probabilistic Resource-Aware Session Types. In POPL.

Preprint TR Cite Code DOI

(2020). Liquid Resource Types. In ICFP.

Preprint TR Cite Code Slides Video DOI

Contact

  • wangdi95@pku.edu.cn
  • Yanyuan Mansion 520, 151 Zhongguancun N Ave, Haidian District, Beijing 100084