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

Background
Now, PhD Student, School of CSE, University of New South Wales. (Supervised by Prof. Jingling Xue, co-supervised by Dr.Yulei Sui)
Dec. 2014, Master in Computational Mathematics, National University of Defense Technology(NUDT).
Jun. 2012, Bachelor in Applied Mathematics, National University of Defense Technology(NUDT).
 
 
Research
My current research mainly focuses on analysis of probabilistic programs and application of probabilistic technique to the analysis of usual programs.
 
 
Publications
1. 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)
2. Jieyuan Zhang, Yulei Sui and Jingling Xue. Incremental Analysis for Probabilistic Programs, 24th International Static Analysis Symposium(SAS'17) (To Appear)