Registered user since Tue 23 Apr 2019

Name:Jieyuan Zhang
Country:China
Affiliation:UNSW, Australia
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