• Sign in
  • Sign up
conf.researchr.org / Hongfei Fu
  • PLDI 2019 profile
  • PLDI 2020 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2019 profile

Registered user since Wed 28 Oct 2015

Name: Hongfei Fu

Affiliation: Shanghai Jiao Tong University, China

Contributions

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
VMCAI 2019 Author of Termination of Nondeterministic Probabilistic Programs within the VMCAI 2019-track
PLDI 2019 Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track
POPL 2016 Author of Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs within the Research Papers-track

Share
xWed 3 Mar 22:05
using conf.researchr.org (v1.43.1)
Support page
Sign Up