Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hongfei Fu
conf.researchr.org general profile
ASE 2023 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2024 profile
POPL 2016 profile
POPL 2019 profile
POPL 2020 profile
POPL 2024 profile
SPLASH 2019 profile
SPLASH 2022 profile
Registered user since Wed 28 Oct 2015
Name:
Hongfei Fu
Country:
China
Affiliation:
Shanghai Jiao Tong University
Contributions
2024
PLDI
Author of Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving within the PLDI Research Papers-track
LAFI
Author of Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving within the LAFI 2024-track
2023
ASE
Author of Demystifying Template-based Invariant Generation for Bit-Vector Programs within the Research Papers-track
2022
SPLASH
Author of Scalable Linear Invariant Generation with Farkas’ Lemma within the V-OOPSLA-track
2021
PLDI
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
2020
PLDI
Author of Polynomial Invariant Generation for Non-deterministic Recursive Programs within the PLDI Research Papers-track
POPL
Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track
2019
SPLASH
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
Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track
VMCAI
Author of Termination of Nondeterministic Probabilistic Programs within the VMCAI 2019-track
2016
POPL
Author of Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs within the Research Papers-track
Share
x
Sat 21 Dec 14:53