Di Wang

According to our database, Di Wang authored at least 19 papers between 2017 and 2024.

Collaborative distances:

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

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.

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

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

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