Yican Sun -

Not registered as user yet

Name:Yican Sun

Country:China

Affiliation:Peking University

Contributions

PLDI 2021	Author of Quantitative Analysis of Assertion Violations in Probabilistic Programs within the PLDI-track
SPLASH 2020	Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the Posters-track Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the OOPSLA-track