@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",
}
@article{15751,
  title = "Cost analysis of nondeterministic probabilistic programs",
  author = "Peixin Wang and Hongfei Fu and Amir Kafshdar Goharshady and Krishnendu Chatterjee and Xudong Qin and Wenjun Shi",
  year = "2019",
  journal = "Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation",
  url = "https://dl.acm.org/doi/10.1145/3314221.3314581",
  doi = "10.1145/3314221.3314581",
}