Di Wang

35 papers A* 5A 2B 1C 1Journal 23Unranked 2
YearRankTypeTitle / Venue / Authors
2026 — conf
A Program Logic for Under-approximating Worst-case Resource Usage.
ESOP (1)
Ziyue Jin, Di Wang
2026 J jnl
Denotation-based Compositional Compiler Verification.
ACM Trans. Program. Lang. Syst.
Zhang Cheng, Jiyang Wu, Di Wang, Qinxiang Cao
2026 — conf
Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs.
ESOP (2)
Han Xu, Di Wang
2026 C conf
Inferring Typing Rules for Contextual Sugars.
PEPM
Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu
2025 J jnl
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials.
Proc. ACM Program. Lang.
Qihao Lian, Di Wang
2025 J jnl
C*: Unifying Programming and Verification in C.
CoRR
Yiyuan Cao, Jiayi Zhuang, Houjin Chen, Jinkai Fan, Wenbo Xu, Zhiyi Wang, Di Wang, Qinxiang Cao, Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu
2025 A* conf
CortenMM: Efficient Memory Management with Strong Correctness Guarantees.
SOSP
Junyang Zhang, Xiangcan Xu, Yong-Hao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang, Hao Chen, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, Hongliang Tian, Diyu Zhou
2025 J jnl
LLM-Assisted Model-Based Fuzzing of Protocol Implementations.
CoRR
Changze Huang, Di Wang, Zhi Quan Zhou
2024 J jnl
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.
ACM Trans. Program. Lang. Syst.
Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
2024 J jnl
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact).
Dagstuhl Artifacts Ser.
Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao
2024 A conf
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.
ECOOP
Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao
2024 J jnl
Incremental Structure Discovery of Classification via Sequential Monte Carlo.
CoRR
Changze Huang, Di Wang
2024 J jnl
Newtonian Program Analysis of Probabilistic Programs.
Proc. ACM Program. Lang.
Di Wang, Thomas W. Reps
2024 J jnl
Programmable MCMC with Soundly Composed Guide Programs.
Proc. ACM Program. Lang.
Long Pham, Di Wang, Feras A. Saad, Jan Hoffmann
2024 J jnl
Semantics Lifting for Syntactic Sugar.
Proc. ACM Program. Lang.
Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu
2023 J jnl
Newtonian Program Analysis of Probabilistic Programs.
CoRR
Di Wang, Thomas W. Reps
2023 J jnl
Probabilistic Resource-Aware Session Types.
Proc. ACM Program. Lang.
Ankush Das, Di Wang, Jan Hoffmann
2022 — —
Static Analysis of Probabilistic Programs: An Algebraic Approach
Di Wang
2021 A* conf
Central moment analysis for cost accumulators in probabilistic programs.
PLDI
Di Wang, Jan Hoffmann, Thomas W. Reps
2021 J jnl
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems.
CoRR
Di Wang, Jan Hoffmann, Thomas W. Reps
2021 J jnl
Sound Probabilistic Inference via Guide Types.
CoRR
Di Wang, Jan Hoffmann, Thomas W. Reps
2021 A* conf
Sound probabilistic inference via guide types.
PLDI
Di Wang, Jan Hoffmann, Thomas W. Reps
2020 J jnl
Liquid Resource Types.
CoRR
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova
2020 J jnl
Liquid resource types.
Proc. ACM Program. Lang.
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova
2020 J jnl
Probabilistic Resource-Aware Session Types.
CoRR
Ankush Das, Di Wang, Jan Hoffmann
2020 J jnl
Raising Expectations: Automating Expected Cost Analysis with Types.
CoRR
Di Wang, David M. Kahn, Jan Hoffmann
2020 J jnl
Raising expectations: automating expected cost analysis with types.
Proc. ACM Program. Lang.
Di Wang, David M. Kahn, Jan Hoffmann
2020 J jnl
Tail Bound Analysis for Probabilistic Programs via Central Moments.
CoRR
Di Wang, Jan Hoffmann, Thomas W. Reps
2019 B conf
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism.
MFPS
Di Wang, Jan Hoffmann, Thomas W. Reps
2019 J jnl
Resource-Guided Program Synthesis.
CoRR
Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann
2019 A* conf
Resource-guided program synthesis.
PLDI
Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann
2019 J jnl
Type-guided worst-case input generation.
Proc. ACM Program. Lang.
Di Wang, Jan Hoffmann
2018 A* conf
PMAF: an algebraic framework for static analysis of probabilistic programs.
PLDI
Di Wang, Jan Hoffmann, Thomas W. Reps
2017 A conf
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.
ESOP
Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang
2017 J jnl
TiML: a functional language for practical complexity analysis with invariants.
Proc. ACM Program. Lang.
Peng Wang, Di Wang, Adam Chlipala