论文 | 王迪

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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