Hongfei Fu

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 43

Top Venues

CoRR

PLDI

Proc. ACM Program. Lang.

CAV (1)

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

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

Hongfei Fu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hongfei Fu