Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hongfei Fu
conf.researchr.org general profile
ASE 2023 profile
ATVA 2025 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
POPL 2025 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 Jiao Tong University
Contributions
2026
SPLASH
Committee Member in OOPSLA Review Committee within the OOPSLA-track
2025
ATVA
PC Member in Programme Committee
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
Thu 17 Jul 07:47