| 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), 1-26, 2017 | 68 | 2017 |
| Resource-guided program synthesis T Knoth, D Wang, N Polikarpova, J Hoffmann Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 62 | 2019 |
| PMAF: an algebraic framework for static analysis of probabilistic programs D Wang, J Hoffmann, T Reps ACM SIGPLAN Notices 53 (4), 513-528, 2018 | 52 | 2018 |
| 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 | 40 | 2020 |
| Central moment analysis for cost accumulators in probabilistic programs D Wang, J Hoffmann, T Reps Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 23 | 2021 |
| Conditional dyck-cfl reachability analysis for complete and efficient library summarization H Tang, D Wang, Y Xiong, L Zhang, X Wang, L Zhang Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 17 | 2017 |
| Liquid resource types T Knoth, D Wang, A Reynolds, J Hoffmann, N Polikarpova Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 15 | 2020 |
| 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 | 14 | 2019 |
| Probabilistic resource-aware session types A Das, D Wang, J Hoffmann Proceedings of the ACM on Programming Languages 7 (POPL), 1925-1956, 2023 | 11 | 2023 |
| Sound probabilistic inference via guide types D Wang, J Hoffmann, T Reps Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 11 | 2021 |
| Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms R Ji, Y Zhao, Y Xiong, D Wang, L Zhang, Z Hu ACM Transactions on Programming Languages and Systems, 2024 | 7 | 2024 |
| Type-guided worst-case input generation D Wang, J Hoffmann Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 5 | 2019 |
| Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems D Wang, J Hoffmann, T Reps arXiv preprint arXiv:2103.16105, 2021 | 2 | 2021 |
| Newtonian Program Analysis of Probabilistic Programs D Wang, T Reps Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 305-333, 2024 | 1 | 2024 |
| Programmable MCMC with Soundly Composed Guide Programs L Pham, D Wang, FA Saad, J Hoffmann Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1051-1080, 2024 | | 2024 |
| Semantics Lifting for Syntactic Sugar Z Guan, Y Cao, T Yu, Z Wang, D Wang, Z Hu Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1336-1361, 2024 | | 2024 |
| Formalizing, Mechanizing, and Verifying Class-Based Refinement Types K Sun, D Wang, S Chen, M Wang, D Hao 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024 | | 2024 |
| Static Analysis of Probabilistic Programs: An Algebraic Approach D Wang Carnegie Mellon University, 2022 | | 2022 |
