Hongfei Fu

According to our database, Hongfei Fu authored at least 41 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving.

Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong

Proc. ACM Program. Lang., 2024

Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs.

Tengshun Yang, Hongfei Fu, Jingyu Ke, Naijun Zhan, Shiyang Wu

CoRR, 2024

Equational Bit-Vector Solving via Strong Gröbner Bases.

Jiaxin Song, Hongfei Fu, Charles Zhang

CoRR, 2024

Constraint Based Invariant Generation with Modular Operations.

Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

2023

Affine Disjunctive Invariant Generation with Farkas' Lemma.

Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li

CoRR, 2023

Template-Based Static Posterior Inference for Bayesian Probabilistic Programming.

Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong

CoRR, 2023

Demystifying Template-Based Invariant Generation for Bit-Vector Programs.

Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Automated Tail Bound Analysis for Probabilistic Recurrence Relations.

Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Scalable linear invariant generation with Farkas' lemma.

Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang Li

Proc. ACM Program. Lang., 2022

Guided Diffusion Model for Adversarial Purification.

Jinyi Wang, Zhaoyang Lyu, Dahua Lin, Bo Dai, Hongfei Fu

CoRR, 2022

Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories.

Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu

Proceedings of the 29th International Conference on Computational Linguistics, 2022

Affine Loop Invariant Generation via Matrix Algebra.

Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Quantitative analysis of assertion violations in probabilistic programs.

Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Polynomial reachability witnesses via Stellensätze.

Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu

Proc. ACM Program. Lang., 2020

Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations.

Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee

CoRR, 2020

Inductive Reachability Witnesses.

Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi

CoRR, 2020

Polynomial invariant generation for non-deterministic recursive programs.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Non-polynomial Worst-Case Analysis of Recursive Programs.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady

ACM Trans. Program. Lang. Syst., 2019

Modular verification for almost-sure termination of probabilistic programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proc. ACM Program. Lang., 2019

Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems.

Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen

Inf. Comput., 2019

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu

CoRR, 2019

Compositional Analysis for Almost-Sure Termination of Probabilistic Programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

CoRR, 2019

Termination of Nondeterministic Probabilistic Programs.

Hongfei Fu, Krishnendu Chatterjee

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Cost analysis of nondeterministic probabilistic programs.

Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.

Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad

ACM Trans. Program. Lang. Syst., 2018

Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.

Hongfei Fu, Yi Li, Jianlin Li

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Computational Approaches for Stochastic Shortest Path on Succinct MDPs.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

New Approaches for Almost-Sure Termination of Probabilistic Programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.

Hongfei Fu, Yi Li, Jianlin Li, Lijun Zhang

CoRR, 2017

Termination of Nondeterministic Recursive Probabilistic Programs.

Krishnendu Chatterjee, Hongfei Fu

CoRR, 2017

Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds.

Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Termination Analysis of Probabilistic Programs Through Positivstellensatz's.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2014

Verifying probabilistic systems: new algorithms and complexity results.

Hongfei Fu

PhD thesis, 2014

Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes.

Hongfei Fu

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata.

Hongfei Fu

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Computing Game Metrics on Markov Decision Processes.

Hongfei Fu

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems.

Hongfei Fu, Joost-Pieter Katoen

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.

Chaodong He, Yuxi Fu, Hongfei Fu

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Model Checking EGF on Basic Parallel Processes.

Hongfei Fu

Proceedings of the Automated Technology for Verification and Analysis, 2011

2009

Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable.

Hongfei Fu

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009