Registered user since Tue 23 Apr 2019

Name: Jieyuan Zhang

Country: China

Affiliation: UNSW, Australia

Personal website: http://www.cse.unsw.edu.au/~jieyuan/

Research interests: Probabilistic program, program analysis

Contributions

PLDI 2019Author of Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2019-profile
View general profile