王迪

助理教授

北京大学

简介

我是北京大学计算机学院的一名助理教授。我现在是程序设计语言研究室的成员，也是图灵人才培养计划的科研导师。

我对编程语言的多个研究话题都很有兴趣，尤其是形式化验证、程序分析以及概率编程。我的目标是构建适用于编写安全、高效的软件的通用、易用的编程抽象和范式，以及能够自动分析、优化、合成程序的编程语言工具链。我目前的研究项目主要涉及资源安全的系统编程、可编程贝叶斯推断、量化程序分析以及面向证明的编程语言。

在加入北京大学前，我在卡内基梅隆大学获得博士学位，导师为 Jan Hoffmann 教授。

这是我的简历。

新闻

欢迎对编程语言领域感兴趣的学生联系我！我在这里概述了我的一些研究想法。
[Jun 2024] Programmable MCMC with Soundly Composed Guide Programs 和 Semantics Lifting for Syntactic Sugar 被 OOPSLA 2024 条件接收。
[Jun 2024] Formalizing, Mechanizing, and Verifying Class-based Refinement Types 被 ECOOP 2024 接收。
[Jan 2024] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms 被 TOPLAS 接收。
[Dec 2023] Newtonian Program Analysis of Probabilistic Programs 被 OOPSLA 2024 接收。
[Sep 2023] 我将担任 PLDI 2024 程序委员会成员。
[July 2023] 预印本 Newtonian Program Analysis of Probabilistic Programs 已上传至 arXiv。
[May 2023] 我将担任 OOPSLA 2024 审稿委员会成员。
[May 2023] 我将担任 ASE 2023 程序委员会成员。
[Sep 2022] Probabilistic Resource-Aware Session Types 被 POPL 2023 接收。
[May 2022] 我完成了博士学位答辩。我的博士论文为 Static Analysis of Probabilistic Programs: An Algebraic Approach。

老新闻归档至此处。

课程

2024 秋：编译原理（与张路、刘先华老师合上）
2024 春：
- 编译原理（与张路、刘先华老师合上）
- 编程语言的设计原理（与赵海燕老师合上）
2023 秋：编译原理（与张路、刘先华老师合上）
2023 春：编程语言的设计原理（与赵海燕老师合上）

服务

程序/审稿委员会：
- 2024: OOPSLA 2024. PLDI 2024.
- 2023: ASE 2023.

近期论文

Long Pham, 王迪, Feras A. Saad, Jan Hoffmann (2024). Programmable MCMC with Soundly Composed Guide Programs. In OOPSLA.

引用 DOI Artifact

Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, 王迪, Zhenjiang Hu (2024). Semantics Lifting for Syntactic Sugar. In OOPSLA.

引用代码 DOI Artifact

Ke Sun, 王迪, Sheng Chen, Meng Wang, Dan Hao (2024). Formalizing, Mechanizing, and Verifying Class-based Refinement Types. In ECOOP.

引用 DOI Artifact

王迪, Thomas Reps (2024). Newtonian Program Analysis of Probabilistic Programs. In OOPSLA.

技术报告引用代码 DOI

Ruyi Ji, Yuwei Zhao, Yingfei Xiong, 王迪, Lu Zhang, Zhenjiang Hu (2024). Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms. In TOPLAS.

技术报告引用 DOI

Ankush Das, 王迪, Jan Hoffmann (2023). Probabilistic Resource-Aware Session Types. In POPL.

预印本技术报告引用代码 DOI