Peixin Wang
Peixin Wang
Wolfson Building, Parks Road, Oxford OX1 3QD
Themes:
Selected 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