Di Wang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Probabilistic Approaches

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. 46 (2) (2024)
Di Wang, Thomas W. Reps
Newtonian Program Analysis of Probabilistic Programs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Ankush Das, Di Wang, Jan Hoffmann
Probabilistic Resource-Aware Session Types. Proc. ACM Program. Lang. 7 (POPL) (2023)
Di Wang, Thomas W. Reps
Newtonian Program Analysis of Probabilistic Programs. CoRR (2023)