Peixin Wang, Hongfei Fu 0001, Krishnendu Chatterjee, Yuxin Deng, Ming Xu
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
POPL, 2020.
@article{POPL-2020-WangFCDX,
author = "Peixin Wang and Hongfei Fu 0001 and Krishnendu Chatterjee and Yuxin Deng and Ming Xu",
doi = "10.1145/3371093",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "30",
publisher = "{ACM}",
title = "{Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time}",
volume = 4,
year = 2020,
}