Peixin Wang : Publications
Click here to download all publications in a single bibtex file
@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", }