| 2026 | CAV | Polynomial Invariant Generation for Floating-Point Programs. | Xuran Cai, Liqian Chen, Hongfei Fu |
| 2026 | FM | Array-Carrying Symbolic Execution for Function Contract Generation. | Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li |
| 2025 | NDSS | A Formal Approach to Multi-Layered Privileges for Enclaves. | Ganxiang Yang, Chenyang Liu, Zhen Huang, Guoxing Chen, Hongfei Fu, Yuanyuan Zhang, Haojin Zhu |
| 2025 | VMCAI | Affine Disjunctive Invariant Generation with Farkas' Lemma. | Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li |
| 2024 | SETTA | Constraint Based Invariant Generation with Modular Operations. | Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li |
| 2023 | CAV | Automated Tail Bound Analysis for Probabilistic Recurrence Relations. | Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2022 | CAV | Affine Loop Invariant Generation via Matrix Algebra. | Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen |
| 2022 | COLING | Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories. | Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu |
| 2021 | PLDI | Polynomial reachability witnesses via Stellenstze. | Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi |
| 2021 | PLDI | Quantitative analysis of assertion violations in probabilistic programs. | Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2020 | PLDI | Polynomial invariant generation for non-deterministic recursive programs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |
| 2019 | PLDI | Cost analysis of nondeterministic probabilistic programs. | Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi |
| 2019 | VMCAI | Termination of Nondeterministic Probabilistic Programs. | Hongfei Fu, Krishnendu Chatterjee |
| 2018 | APLAS | New Approaches for Almost-Sure Termination of Probabilistic Programs. | Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee |
| 2018 | IJCAI | Computational Approaches for Stochastic Shortest Path on Succinct MDPs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati |
| 2017 | CAV | Non-polynomial Worst-Case Analysis of Recursive Programs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady |
| 2017 | CAV | Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. | Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar |
| 2016 | CAV | Termination Analysis of Probabilistic Programs Through Positivstellensatz's. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady |
| 2016 | POPL | Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. | Krishnendu Chatterjee, Hongfei Fu, Petr Novotn, Rouzbeh Hasheminezhad |
| 2014 | FOSSACS | Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes. | Hongfei Fu |
| 2012 | ICALP | Computing Game Metrics on Markov Decision Processes. | Hongfei Fu |
| 2011 | ATVA | Model Checking EGF on Basic Parallel Processes. | Hongfei Fu |
| 2009 | APLAS | Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable. | Hongfei Fu |