Registered user since Wed 28 Oct 2015
Name:Hongfei Fu
Country:China
Affiliation:Shanghai Jiao Tong University
Contributions
PLDI 2021 | Quantitative Analysis of Assertion Violations in Probabilistic Programs Polynomial Reachability Witnesses via Stellensätze | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2021-profile
View general profile
View general profile