新闻归档

王迪

[Sep 2021] 我开始找 2022 年入职的学术界工作！
[Feb 2021] 两篇论文 Sound Probabilistic Inference via Guide Types 和 Central Moment Analysis for Cost Accumulators in Probabilistic Programs 被 PLDI 2021 接收。
[Nov 2020] 预印本 Probabilistic Resource-Aware Session Types 已上传至 arXiv。
[Jun 2020] 两篇论文 Liquid Resource Types 和 Raising Expectations: Automating Expected Cost Analysis with Types 被 ICFP 2020 接收。
[May 2019] 论文 A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism 被 MFPS 接收。
[Feb 2019] Resource-Guided Program Synthesis 被 PLDI 2019 接收。
[Nov 2018] Type-Guided Worst-Case Input Generation 被 POPL 2019 接收。
[Mar 2018] 这是我在 SCS Day 2018 上的表演：Chengdu。
[Feb 2018] PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs 被 PLDI 2018 接收。
[Jun 2017] 我从北京大学毕业了。我的学位论文为基于 Datalog 条件摘要的程序分析加速技术。