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 2019 | Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2019-profile
View general profile
View general profile