Di Wang

According to our database, Di Wang authored at least 32 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Denotation-based Compositional Compiler Verification.

Zhang Cheng, Jiyang Wu, Di Wang, Qinxiang Cao

ACM Trans. Program. Lang. Syst., March, 2026

Inferring Typing Rules for Contextual Sugars.

Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu

Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2026

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs.

Han Xu, Di Wang

Proceedings of the Programming Languages and Systems, 2026

A Program Logic for Under-approximating Worst-case Resource Usage.

Ziyue Jin, Di Wang

Proceedings of the Programming Languages and Systems, 2026

2025

LLM-Assisted Model-Based Fuzzing of Protocol Implementations.

Changze Huang, Di Wang, Zhi Quan Zhou

CoRR, August, 2025

C*: Unifying Programming and Verification in C.

Yiyuan Cao, Jiayi Zhuang, Houjin Chen, Jinkai Fan, Wenbo Xu, Zhiyi Wang, Di Wang, Qinxiang Cao, Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu

CoRR, April, 2025

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials.

Qihao Lian, Di Wang

Proc. ACM Program. Lang., 2025

CortenMM: Efficient Memory Management with Strong Correctness Guarantees.

Junyang Zhang, Xiangcan Xu, Yonghao 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

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

2024

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar.

Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu

Dataset, September, 2024

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar.

Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu

Dataset, September, 2024

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu

ACM Trans. Program. Lang. Syst., June, 2024

Newtonian Program Analysis of Probabilistic Programs (Artifact).

Di Wang, Thomas W. Reps

Dataset, March, 2024

Newtonian Program Analysis of Probabilistic Programs.

Di Wang, Thomas W. Reps

Proc. ACM Program. Lang., 2024

Programmable MCMC with Soundly Composed Guide Programs.

Long Pham, Di Wang, Feras A. Saad, Jan Hoffmann

Proc. ACM Program. Lang., 2024

Semantics Lifting for Syntactic Sugar.

Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu

Proc. ACM Program. Lang., 2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact).

Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao

Dagstuhl Artifacts Ser., 2024

Incremental Structure Discovery of Classification via Sequential Monte Carlo.

Changze Huang, Di Wang

CoRR, 2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.

Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Probabilistic Resource-Aware Session Types.

Ankush Das, Di Wang, Jan Hoffmann

Proc. ACM Program. Lang., January, 2023

2022

Static Analysis of Probabilistic Programs: An Algebraic Approach

Di Wang

PhD thesis, 2022

2021

Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems.

Di Wang, Jan Hoffmann, Thomas W. Reps

CoRR, 2021

Sound probabilistic inference via guide types.

Di Wang, Jan Hoffmann, Thomas W. Reps

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Central moment analysis for cost accumulators in probabilistic programs.

Di Wang, Jan Hoffmann, Thomas W. Reps

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Raising expectations: automating expected cost analysis with types.

Di Wang, David M. Kahn, Jan Hoffmann

Proc. ACM Program. Lang., 2020

Liquid resource types.

Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

Tail Bound Analysis for Probabilistic Programs via Central Moments.

Di Wang, Jan Hoffmann, Thomas W. Reps

CoRR, 2020

2019

Type-guided worst-case input generation.

Di Wang, Jan Hoffmann

Proc. ACM Program. Lang., 2019

A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism.

Di Wang, Jan Hoffmann, Thomas W. Reps

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Resource-guided program synthesis.

Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

PMAF: an algebraic framework for static analysis of probabilistic programs.

Di Wang, Jan Hoffmann, Thomas W. Reps

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

TiML: a functional language for practical complexity analysis with invariants.

Peng Wang, Di Wang, Adam Chlipala

Proc. ACM Program. Lang., 2017

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.

Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang

Proceedings of the Programming Languages and Systems, 2017