Hongfei Fu -

Registered user since Wed 28 Oct 2015

Name:Hongfei Fu

Country:China

Affiliation:Shanghai Jiao Tong University

Contributions

SPLASH 2022	Author of Scalable Linear Invariant Generation with Farkas’ Lemma within the V-OOPSLA-track
PLDI 2021	Author of Quantitative Analysis of Assertion Violations in Probabilistic Programs within the PLDI-track Author of Polynomial Reachability Witnesses via Stellensätze within the PLDI-track
PLDI 2020	Author of Polynomial Invariant Generation for Non-deterministic Recursive Programs within the PLDI Research Papers-track
POPL 2020	Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track
SPLASH 2019	Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA Artifacts-track
PLDI 2019	Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track
VMCAI 2019	Author of Termination of Nondeterministic Probabilistic Programs within the VMCAI 2019-track
POPL 2016	Author of Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs within the Research Papers-track