论文

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