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