Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hongfei Fu
conf.researchr.org general profile
ASE 2023 profile
ASE 2026 profile
ATVA 2025 profile
FM 2026 profile
ICFP/SPLASH 2025 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2024 profile
PLDI 2026 profile
POPL 2016 profile
POPL 2019 profile
POPL 2020 profile
POPL 2024 profile
POPL 2025 profile
POPL 2026 profile
SPLASH 2019 profile
SPLASH 2022 profile
SPLASH/ISSTA 2026 profile
Registered user since Wed 28 Oct 2015
Name:
Hongfei Fu
Country:
China
Affiliation:
Shanghai University of Finance and Economics
Contributions
2026
ASE
Author of Fully Automating Template Polyhedral Analysis by Leveraging LLMs within the Research Papers-track
SPLASH
Author of Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities within the OOPSLA-track
Committee Member in OOPSLA Review Committee within the OOPSLA-track
Author of Staged Multi-step UTXO Workflows via Recursive Invariants within the OOPSLA-track
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
FM
Author of Array-Carrying Symbolic Execution for Function Contract Generation within the Research Track-track
POPL
Author of Piecewise Analysis of Probabilistic Programs via k-Induction within the POPL-track
2025
ATVA
PC Member in Programme Committee
SPLASH
Author of Structural Abstraction and Refinement for Probabilistic Programs within the OOPSLA-track
VMCAI
Author of Affine Disjunctive Invariant Generation with Farkas’ Lemma within the VMCAI 2025-track
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
Wed 7 Oct 21:56