Hongfei Fu

64 papers A* 8B 6Misc 1Journal 36Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Array-Carrying Symbolic Execution for Function Contract Generation.
CoRR
Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li
2026 J jnl
Piecewise Analysis of Probabilistic Programs via 𝑘-Induction.
Proc. ACM Program. Lang.
Tengshun Yang, Shenghua Feng, Hongfei Fu, Naijun Zhan, Jingyu Ke, Shiyang Wu
2025 A* conf
A Formal Approach to Multi-Layered Privileges for Enclaves.
NDSS
Ganxiang Yang, Chenyang Liu, Zhen Huang, Guoxing Chen, Hongfei Fu, Yuanyuan Zhang, Haojin Zhu
2025 — conf
Affine Disjunctive Invariant Generation with Farkas' Lemma.
VMCAI (1)
Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li
2025 J jnl
Invariant Generation for Floating-Point Programs via Constraint Solving.
CoRR
Xuran Cai, Liqian Chen, Hongfei Fu
2025 J jnl
Structural Abstraction and Refinement for Probabilistic Programs.
CoRR
Guanyan Li, Juanen Li, Zhilei Han, Peixin Wang, Hongfei Fu, Fei He
2025 J jnl
Structural Abstraction and Refinement for Probabilistic Programs.
Proc. ACM Program. Lang.
Guanyan Li, Juanen Li, Zhilei Han, Peixin Wang, Hongfei Fu, Fei He
2024 Misc conf
Constraint Based Invariant Generation with Modular Operations.
SETTA
Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li
2024 J jnl
Equational Bit-Vector Solving via Strong Gröbner Bases.
CoRR
Jiaxin Song, Hongfei Fu, Charles Zhang
2024 J jnl
Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs.
CoRR
Tengshun Yang, Hongfei Fu, Jingyu Ke, Naijun Zhan, Shiyang Wu
2024 J jnl
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving.
Proc. ACM Program. Lang.
Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong
2024 J jnl
ZKWASM: A ZKSNARK WASM Emulator.
IEEE Trans. Serv. Comput.
Sinka Gao, Guoqiang Li, Hongfei Fu
2023 J jnl
Affine Disjunctive Invariant Generation with Farkas' Lemma.
CoRR
Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li
2023 — conf
Automated Tail Bound Analysis for Probabilistic Recurrence Relations.
CAV (3)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2023 J jnl
Automated Tail Bound Analysis for Probabilistic Recurrence Relations.
CoRR
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2023 A* conf
Demystifying Template-Based Invariant Generation for Bit-Vector Programs.
ASE
Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren
2023 J jnl
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming.
CoRR
Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong
2022 — conf
Affine Loop Invariant Generation via Matrix Algebra.
CAV (1)
Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen
2022 J jnl
Guided Diffusion Model for Adversarial Purification.
CoRR
Jinyi Wang, Zhaoyang Lyu, Dahua Lin, Bo Dai, Hongfei Fu
2022 B conf
Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories.
COLING
Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu
2022 J jnl
Scalable linear invariant generation with Farkas' lemma.
Proc. ACM Program. Lang.
Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang Li
2021 A* conf
Polynomial reachability witnesses via Stellensätze.
PLDI
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2021 A* conf
Quantitative analysis of assertion violations in probabilistic programs.
PLDI
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2020 J jnl
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations.
CoRR
Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee
2020 J jnl
Inductive Reachability Witnesses.
CoRR
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2020 A* conf
Polynomial invariant generation for non-deterministic recursive programs.
PLDI
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2020 J jnl
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.
Proc. ACM Program. Lang.
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu
2020 J jnl
Quantitative Analysis of Assertion Violations in Probabilistic Programs.
CoRR
Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee
2020 — ch.
Termination Analysis of Probabilistic Programs with Martingales.
Foundations of Probabilistic Programming
Krishnendu Chatterjee, Hongfei Fu, Petr Novotný
2019 J jnl
Compositional Analysis for Almost-Sure Termination of Probabilistic Programs.
CoRR
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2019 J jnl
Cost Analysis of Nondeterministic Probabilistic Programs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Peixin Wang, Xudong Qin, Wenjun Shi
2019 A* conf
Cost analysis of nondeterministic probabilistic programs.
PLDI
Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi
2019 J jnl
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems.
Inf. Comput.
Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen
2019 J jnl
Modular verification for almost-sure termination of probabilistic programs.
Proc. ACM Program. Lang.
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2019 J jnl
Non-polynomial Worst-Case Analysis of Recursive Programs.
ACM Trans. Program. Lang. Syst.
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2019 J jnl
Polynomial Invariant Generation for Non-deterministic Recursive Programs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2019 J jnl
Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.
CoRR
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu
2019 B conf
Termination of Nondeterministic Probabilistic Programs.
VMCAI
Hongfei Fu, Krishnendu Chatterjee
2018 J jnl
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.
ACM Trans. Program. Lang. Syst.
Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
2018 A* conf
Computational Approaches for Stochastic Shortest Path on Succinct MDPs.
IJCAI
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati
2018 J jnl
Computational Approaches for Stochastic Shortest Path on Succinct MDPs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati
2018 B conf
New Approaches for Almost-Sure Termination of Probabilistic Programs.
APLAS
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee
2018 J jnl
New Approaches for Almost-Sure Termination of Probabilistic Programs.
CoRR
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee
2018 — conf
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.
QEST
Hongfei Fu, Yi Li, Jianlin Li
2017 — conf
Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds.
CAV (1)
Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
2017 J jnl
Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
2017 — conf
Non-polynomial Worst-Case Analysis of Recursive Programs.
CAV (2)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2017 J jnl
Non-polynomial Worst-Case Analysis of Recursive Programs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2017 J jnl
Termination of Nondeterministic Recursive Probabilistic Programs.
CoRR
Krishnendu Chatterjee, Hongfei Fu
2017 J jnl
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.
CoRR
Hongfei Fu, Yi Li, Jianlin Li, Lijun Zhang
2016 A* conf
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs.
POPL
Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
2016 — conf
Termination Analysis of Probabilistic Programs Through Positivstellensatz's.
CAV (1)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2016 J jnl
Termination Analysis of Probabilistic Programs through Positivstellensatz's.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2015 J jnl
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
2014 B conf
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes.
FoSSaCS
Hongfei Fu
2014 — —
Verifying probabilistic systems: new algorithms and complexity results.
Hongfei Fu
2013 — conf
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata.
HSCC
Hongfei Fu
2013 J jnl
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes.
CoRR
Hongfei Fu
2012 J jnl
Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata
CoRR
Hongfei Fu
2012 — conf
Computing Game Metrics on Markov Decision Processes.
ICALP (2)
Hongfei Fu
2011 — conf
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.
FSEN
Chaodong He, Yuxi Fu, Hongfei Fu
2011 — conf
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems.
FSTTCS
Hongfei Fu, Joost-Pieter Katoen
2011 B conf
Model Checking EGF on Basic Parallel Processes.
ATVA
Hongfei Fu
2009 B conf
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable.
APLAS
Hongfei Fu