Peixin Wang

Tail-Bound Cost Analysis over Nondeterministic Probabilistic Programs

Peixin Wang, 2022, Journal of Shanghai Jiaotong University (Science).

Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training

Guy Katz, M. Zhang, Peixin Wang, 2022, International Conference on Verification, Model Checking and Abstract Interpretation.

Cost analysis of nondeterministic probabilistic programs

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, 2019, PLDI.

Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training

Guy Katz, M. Zhang, Peixin Wang, 2022, 2211.11127.

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

Krishnendu Chatterjee, Yuxin Deng, Ming Xu, 2019, Proc. ACM Program. Lang..

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time pdf

Krishnendu Chatterjee, Ming Xu, Kangli He, 2019, ArXiv.

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

Luke Ong, Peixin Wang, Hongfei Fu, 2024, Proceedings of the ACM on Programming Languages.