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