Di Wang
Title
Cited by
Cited by
Year
PMAF: an algebraic framework for static analysis of probabilistic programs
D Wang, J Hoffmann, T Reps
ACM SIGPLAN Notices 53 (4), 513-528, 2018
272018
TiML: a functional language for practical complexity analysis with invariants
P Wang, D Wang, A Chlipala
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 79, 2017
142017
Resource-guided program synthesis
T Knoth, D Wang, N Polikarpova, J Hoffmann
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
112019
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism
D Wang, J Hoffmann, T Reps
Electronic Notes in Theoretical Computer Science 347, 303-324, 2019
32019
Raising expectations: automating expected cost analysis with types
D Wang, DM Kahn, J Hoffmann
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-31, 2020
22020
Liquid resource types
T Knoth, D Wang, A Reynolds, J Hoffmann, N Polikarpova
arXiv preprint arXiv:2006.16233, 2020
22020
Type-guided worst-case input generation
D Wang, J Hoffmann
Proceedings of the ACM on Programming Languages 3 (POPL), 13, 2019
22019
Conditional dyck-cfl reachability analysis for complete and efficient library summarization
H Tang, D Wang, Y Xiong, L Zhang, X Wang, L Zhang
European Symposium on Programming, 880-908, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–8