Not registered as user yet
Name: Yican Sun
Affiliation: Peking University
Contributions
PLDI 2021 | Quantitative Analysis of Assertion Violations in Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Not registered as user yet
Name: Yican Sun
Affiliation: Peking University
Contributions
PLDI 2021 | Quantitative Analysis of Assertion Violations in Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |