Han Su

Publications with FICTION

Journal Articles

1. Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan (2023). Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. (OOPSLA). PDF Cite Poster Slides DOI