Scholar
Hongfei Fu
Google Scholar ID: 5bHQE-UAAAAJ
Shanghai Jiao Tong University
Citations & Impact
Citations
926
H-index
15
i10-index
19
Publications
20
Co-authors
8
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Paper accepted at POPL 2026 (CCF Rank A, top conference in programming languages): "Piecewise Analysis of Probabilistic Programs via k-Induction"
- Published at OOPSLA 2025 (CCF Rank A): "Structural Abstraction and Refinement for Probabilistic Programs"
- Published at PLDI 2024 (CCF Rank A): "Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving"
- Published at CAV 2023 (CCF Rank A, top conference in formal verification): "Automated Tail Bound Analysis for Probabilistic Recurrence Relations"
- Published at PLDI 2021 (CCF Rank A): "Quantitative analysis of assertion violations in probabilistic programs"
- Published work on "Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time"
