论文

王迪 (2025). Composable Effect Handling for Programming LLM-Integrated Scripts. In LMPL.

技术报告 引用 DOI

Junyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, 王迪, Hao Chen, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, Hongliang Tian, Diyu Zhou (2025). CortenMM: Efficient Memory Management with Strong Correctness Guarantees. In SOSP.

技术报告 引用 代码 DOI

练琪灏, 王迪 (2025). Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials. In OOPSLA.

技术报告 引用 代码 DOI Artifact

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

引用 代码 DOI Artifact

Long Pham, 王迪, Feras A. Saad, Jan Hoffmann (2024). Programmable MCMC with Soundly Composed Guide Programs. 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

Hongjun Wu, 王迪 (2023). Worst-Case Analysis is Maximum-A-Posteriori Estimation.

技术报告

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

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

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

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

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

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

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

技术报告

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

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

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

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

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

王迪, Jan Hoffmann (2019). Type-Guided Worst-Case Input Generation. In POPL.

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

王迪, Jan Hoffmann, Thomas Reps (2018). PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs. In PLDI.

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

Peng Wang, 王迪, Adam Chlipala (2017). TiML: A Functional Language for Practical Complexity Analysis with Invariants. In OOPSLA.

预印本 引用 代码 DOI Artifact

Hao Tang, 王迪, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang (2017). Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. In ESOP.

预印本 引用 DOI Artifact