Peixin Wang

Selected Publications

View AllManage publications

• Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time

  Peixin Wang‚ Hongfei Fu‚ Krishnendu Chatterjee‚ Yuxin Deng and Ming Xu

  In Proceedings of the ACM on Programming Languages. Vol. 4. No. POPL. 2020.

  Details about Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time | BibTeX data for Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time | Download  (pdf) of Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time | DOI (10.1145/3371093) | Link to Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time

• Cost analysis of nondeterministic probabilistic programs

  Peixin Wang‚ Hongfei Fu‚ Amir Kafshdar Goharshady‚ Krishnendu Chatterjee‚ Xudong Qin and Wenjun Shi

  In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2019.

  Details about Cost analysis of nondeterministic probabilistic programs | BibTeX data for Cost analysis of nondeterministic probabilistic programs | DOI (10.1145/3314221.3314581) | Link to Cost analysis of nondeterministic probabilistic programs

Supervisor