Jieyuan Zhang

Ph.D Student  (Compiler Reserch Group)
K17, 501-14
School of Computer Science and Engineering
The University of New South Wales
Sydney, NSW, 2052, AUSTRALIA

Tel : (+61 2) 9385-7225
Email : jieyuan AT cse.unsw.edu.au

2015 ~ , PhD Student of School of Computer Science and Engineering at University of New South Wales. (Supervised by Prof. Jingling Xue)
My current research mainly focuses on static inference of probabilistic programs and application of probabilistic technique to the analysis of usual programs.
1. Jieyuan Zhang and Jingling Xue. Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs. In 2019 ACM Conference on Programming Language Design and Implementation (PLDI'19), pages ??--??, Phoenix, Arizona, 2019.

2. Jieyuan Zhang, Yulei Sui and Jingling Xue. Incremental Analysis for Probabilistic Programs, 24th International Static Analysis Symposium(SAS'17), pages 450--472, New York, 2017.

3. Jieyuan Zhang, Shengguo Li, Lizhi Cheng, Xiangke Liao, Guangquan Cheng, A fast and stable algorithm for downdating the singular value decomposition. Computers & Mathematics with Applications 68(10): 1421-1430 (2014)