王迪

王迪

助理教授

北京大学

简介

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

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

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

这是我的简历。

新闻

老新闻归档至此处。

课程

服务

近期论文

王迪, 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

王迪, Jan Hoffmann, Thomas Reps (2021). Central Moment Analysis for Cost Accumulators in Probabilistic Programs. In PLDI.

预印本 技术报告 引用 代码 演示文稿 DOI

王迪, Jan Hoffmann, Thomas Reps (2021). Sound Probabilistic Inference via Guide Types. In PLDI.

预印本 技术报告 引用 代码 演示文稿 DOI

王迪, Jan Hoffmann, Thomas Reps (2021). Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems.

技术报告

Tristan Knoth, 王迪, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova (2020). Liquid Resource Types. In ICFP.

预印本 技术报告 引用 代码 演示文稿 视频 DOI

王迪, David M. Kahn, Jan Hoffmann (2020). Raising Expectations: Automating Expected Cost Analysis with Types. In ICFP.

预印本 技术报告 引用 演示文稿 视频 DOI Artifact

Tristan Knoth, 王迪, Nadia Polikarpova, Jan Hoffmann (2019). Resource-Guided Program Synthesis. In PLDI.

预印本 技术报告 引用 代码 演示文稿 DOI

王迪, Jan Hoffmann, Thomas Reps (2019). A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. In MFPS.

预印本 技术报告 引用 演示文稿 DOI

查看全部论文

近期报告

编程语言新范式初探
12月 16, 2023 3:30 PM — 4:00 PM
演示文稿
概率程序的代数程序分析（新）
12月 2, 2023 2:35 PM — 3:00 PM
演示文稿
概率程序的代数程序分析
6月 30, 2023 3:15 PM — 3:40 PM
演示文稿
类型主导的编程语言设计
6月 17, 2023 9:00 AM — 9:45 AM
演示文稿
资源安全的系统编程语言
5月 19, 2023 3:30 PM — 4:30 PM
演示文稿
查看全部报告

近期博客

用 OCaml 实现贝叶斯程序合成（英文）
This post aims at reproducing some results from Saad et al.’s paper on Bayesian synthesis1 in OCaml, an industrial strength functional programming language. A complete notebook for the code in
王迪
11月 30, 2022 3 分钟阅读时长
随便聊聊：贝叶斯概率编程
人们近年来在人工智能领域取得的进展，除了层出不穷的新算法，也
王迪
10月 30, 2022 4 分钟阅读时长
随便聊聊：代数程序分析
本文参考了 Zachary Kincaid 和 Thomas Reps 在 CAV 2021 上的关于代数程序分析（Algebr
王迪
10月 2, 2022 5 分钟阅读时长
随便聊聊：静态资源分析
简单地说，程序的资源分析（Resource Analysis）
王迪
9月 10, 2022 5 分钟阅读时长
LaTeX 中的代码高亮（英文）
Tool link: Emacs Syntax Highlighting for LaTeX (ESH). The tool does not really require understanding Emacs: one just needs a working installation! The tool seems well tested on GNU/Linux; however,
王迪
7月 12, 2022 1 分钟阅读时长
查看全部文章

联系方式