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