Di Wang

According to our database, Di Wang authored at least 14 papers between 2017 and 2023.

Collaborative distances:

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

2023

Probabilistic Resource-Aware Session Types.

Ankush Das, Di Wang, Jan Hoffmann

Proc. ACM Program. Lang., January, 2023

Newtonian Program Analysis of Probabilistic Programs.

Di Wang, Thomas W. Reps

CoRR, 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