Hongfei Fu
Shanghai Jiao Tong University
H-index: 16
Asia-China
Top articles of Hongfei Fu
Piecewise Linear Expectation Analysis via -Induction for Probabilistic Programs
arXiv preprint arXiv:2403.17567
2024/3/26
Equational Bit-Vector Solving via Strong Gr\" obner Bases
arXiv preprint arXiv:2402.16314
2024/2/26
Demystifying template-based invariant generation for bit-vector programs
2023/9/11
Affine Disjunctive Invariant Generation with Farkas' Lemma
arXiv preprint arXiv:2307.13318
2023/7/25
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming
arXiv preprint arXiv:2307.13160
2023/7/24
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
2023/7/17
ZAWA: A ZKSNARK WASM Emulator
Proc. ACM Program. Lang
2022/11
Static Analysis of Posterior Inference in Bayesian Probabilistic Programming
2023/3/10
Linear Disjunctive Invariant Generation with Farkas' Lemma
2023/2/25
Scalable linear invariant generation with Farkas’ lemma
Proceedings of the ACM on Programming Languages
2022/10/31
Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories
2022/10
Affine loop invariant generation via matrix algebra
2022/8/7
Guided diffusion model for adversarial purification
arXiv preprint arXiv:2205.14969
2022/5/30
Automated Concentration Bound Analysis for Probabilistic Recurrence Relations
2021/8/19
Polynomial reachability witnesses via Stellensätze
2021/6/19
Quantitative analysis of assertion violations in probabilistic programs
2021/6/19
Termination analysis of probabilistic programs with martingales
Foundations of Probabilistic Programming
2020/12/3
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations
arXiv preprint arXiv:2008.00425
2020/8/2
Inductive reachability witnesses
arXiv preprint arXiv:2007.14259
2020/7/28
Polynomial invariant generation for non-deterministic recursive programs
2020/6/15
Co-Authors
