Author

Hong-Fei Fu

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#small language model Book Open access Oct 2026

Fully Automating Template Polyhedral Analysis by Leveraging LLMs

Abstract interpretation provides a generic framework to design static analysis, and has been widely applied in analysis of real-world programs. The scalability and precision of these analyses depend largely on the chosen abstract domain. The template polyhedra domain is well-known for offering a compelling trade-off be...

Ren-Jie Huang, Li-Qian Chen, Hong-Fei Fu et al. · Proceedings of the 41st IEEE... · 0 citations

#small language model Open access Sep 2026

Staged Multi-step UTXO Workflows via Recursive Invariants

Recursive invariants, a small statically typed domain-specific language (DSL) that formalizes UTXO validation and ledger extension, identifies the validation-time-evaluable one-step fragment, and proves the deduction system sound w.r.t. the three-valued semantics.

Shu-Yang Tang, Sherman S. M. Chow, Hong-Fei Fu et al. · Proceedings of the ACM on Pr... · 0 citations