Fei He

According to our database, Fei He authored at least 78 papers between 2004 and 2024.

Collaborative distances:

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

2024

Leveraging Datapath Propagation in IC3 for Hardware Model Checking.

Hongyu Fan, Fei He

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., July, 2024

P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs.

Delong Zhang, Chong Ye, Fei He

Proceedings of the IEEE INFOCOM 2024, 2024

2023

On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both.

Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He

J. Syst. Archit., December, 2023

Automated Ambiguity Detection in Layout-Sensitive Grammars.

Jiangyi Liu, Fengmin Zhu, Fei He

Proc. ACM Program. Lang., October, 2023

Learning Adaptive Node Embeddings Across Graphs.

Gaoyang Guo, Chaokun Wang, Bencheng Yan, Yunkai Lou, Hao Feng, Junchao Zhu, Jun Chen, Fei He, Philip S. Yu

IEEE Trans. Knowl. Data Eng., June, 2023

A Characterization Study of Merge Conflicts in Java Projects.

Bowen Shen, Muhammad Ali Gulzar, Fei He, Na Meng

ACM Trans. Softw. Eng. Methodol., April, 2023

Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.

Hongyu Fan, Zhihang Sun, Fei He

ACM Trans. Program. Lang. Syst., March, 2023

P4b: A Translator from P4 Programs to Boogie.

Chong Ye, Fei He

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Data-driven Recurrent Set Learning For Non-termination Analysis.

Zhilei Han, Fei He

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

2022

Efficient Summary Reuse for Software Regression Verification.

Fei He, Qianshan Yu, Liming Cai

IEEE Trans. Software Eng., 2022

Consistency-preserving propagation for SMT solving of concurrent program verification.

Zhihang Sun, Hongyu Fan, Fei He

Proc. ACM Program. Lang., 2022

Lay-it-out: Interactive Design of Layout-Sensitive Grammars.

Fengmin Zhu, Jiangyi Liu, Fei He

CoRR, 2022

ProbTA: A sound and complete proof rule for probabilistic verification.

Guanyan Li, Zhilei Han, Fei He

CoRR, 2022

Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).

Fei He, Zhihang Sun, Hongyu Fan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Mastery: Shifted-Code-Aware Structured Merging.

Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He

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

EqFix: Fixing LaTeX Equation Errors by Examples.

Fengmin Zhu, Fei He

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

Interference relation-guided SMT solving for multi-threaded program verification.

Hongyu Fan, Weiting Liu, Fei He

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

Data-Driven Loop Bound Learning for Termination Analysis.

Rongchen Xu, Jianhui Chen, Fei He

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Leveraging Control Flow Knowledge in SMT Solving of Program Verification.

Jianhui Chen, Fei He

ACM Trans. Softw. Eng. Methodol., 2021

PSpec-SQL: Enabling Fine-Grained Control for Distributed Data Analytics.

Chen Luo, Fei He, Fei Peng, Dong Yan, Dan Zhang, Xin Zhou

IEEE Trans. Dependable Secur. Comput., 2021

Automatic Detection and Resolution of Software Merge Conflicts: Are We There Yet?

Bowen Shen, Cihan Xiao, Na Meng, Fei He

CoRR, 2021

Satisfiability modulo ordering consistency theory for multi-threaded program verification.

Fei He, Zhihang Sun, Hongyu Fan

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

2020

Incremental predicate analysis for regression verification.

Qianshan Yu, Fei He, Bow-Yaw Wang

Proc. ACM Program. Lang., 2020

Termination analysis for evolving programs: an incremental approach by reusing certified modules.

Fei He, Jitao Han

Proc. ACM Program. Lang., 2020

Interval counterexamples for loop invariant learning.

Rongchen Xu, Fei He, Bow-Yaw Wang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Proving almost-sure termination by omega-regular decomposition.

Jianhui Chen, Fei He

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

Proving Termination by k-Induction.

Jianhui Chen, Fei He

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Enhancing precision of structured merge by proper tree matching.

Fengmin Zhu, Fei He, Qianshan Yu

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Conflict resolution for structured merge via version space algebra.

Fengmin Zhu, Fei He

Proc. ACM Program. Lang., 2018

SMT-based query tracking for differentially private data analytics systems.

Chen Luo, Fei He

Frontiers Comput. Sci., 2018

Efficient software product-line model checking using induction and a SAT solver.

Fei He, Yuan Gao, Liangze Yin

Frontiers Comput. Sci., 2018

When Regression Verification Meets CEGAR.

Fei He, Qianshan Yu, Liming Cai

CoRR, 2018

Control flow-guided SMT solving for program verification.

Jianhui Chen, Fei He

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Inferring software behavioral models with MapReduce.

Chen Luo, Fei He, Carlo Ghezzi

Sci. Comput. Program., 2017

Verification of Implementations of Cryptographic Hash Functions.

Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun

IEEE Access, 2017

PSpec: a formal specification language for fine-grained control on distributed data analytics.

Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang

Proceedings of the 39th International Conference on Software Engineering, 2017

Assertion Recommendation for Formal Program Verification.

Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes.

Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang

ACM Trans. Softw. Eng. Methodol., 2016

Learning-Based Assume-Guarantee Regression Verification.

Fei He, Shu Mao, Bow-Yaw Wang

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

2015

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.

Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu

Theory Comput. Syst., 2015

Generalized interface automata with multicast synchronization.

Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun

Frontiers Comput. Sci., 2015

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.

Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

VeRV: A temporal and data-concerned verification framework for the vehicle bus systems.

Shuo Zhang, Fei He, Ming Gu

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

2014

Array Theory of Bounded Elements and its Applications.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

J. Autom. Reason., 2014

Symbolic assume-guarantee reasoning through BDD learning.

Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu

Proceedings of the 36th International Conference on Software Engineering, 2014

Clause Replication and Reuse in Incremental Temporal Induction.

Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

2013

A Unified Framework for DPLL(T) + Certificates.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

J. Appl. Math., 2013

Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information.

Liangze Yin, Fei He, Ming Gu

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Reusing Search Tree for Incremental SAT Solving of Temporal Induction.

Liangze Yin, Fei He, Min Zhou, Ming Gu

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.

Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.

Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

VCS: A Verifier for Component-Based Systems.

Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Maxterm Covering for Satisfiability.

Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu

IEEE Trans. Computers, 2012

Thread-Modular Model Checking with Iterative Refinement.

Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu

Proceedings of the NASA Formal Methods, 2012

2011

An Efficient Resolution Based Algorithm for SAT.

Min Zhou, Fei He, Ming Gu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2010

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.

Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun

IEEE Trans. Computers, 2010

An Analytical Congestion Model with Bounded-Bend Detours.

Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang

J. Circuits Syst. Comput., 2010

Compositional Abstraction Refinement for Timed Systems.

Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.

Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On Array Theory of Bounded Elements.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Heuristic-Guided Abstraction Refinement.

Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun

Comput. J., 2009

Data mining based decomposition for assume-guarantee reasoning.

He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Translation-Based Model Checking for PLC Programs.

Min Zhou, Fei He, Ming Gu, Xiaoyu Song

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2007

A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".

Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He

ACM Trans. Design Autom. Electr. Syst., 2007

Effective heuristics for counterexample-guided abstraction refinement.

Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Probabilistic optimization for FPGA board level routing problems.

Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun

IEEE Trans. Circuits Syst. II Express Briefs, 2006

Congestion estimation for hexagonal routing.

Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang

Int. J. Comput. Math., 2006

A combinatorial congestion estimation approach with generalized detours.

Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun

Comput. Math. Appl., 2006

Verifying Java Programs By Theorem Prover HOL.

Anduo Wang, Fei He, Ming Gu, Xiaoyu Song

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.

Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Multiterminal net assignments by scatter search.

Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun

Math. Comput. Model., 2005

On Theoretical Upper Bounds for Routing Estimation.

Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun

J. Univers. Comput. Sci., 2005

Probabilistic Estimation for Routing Space.

Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng

Comput. J., 2005

A Hierachical Method for Wiring and Congestion Prediction.

Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Segmented channel routing with pin rearrangements via satisfiability.

Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

2004

A stochastic model for cellassignments in PCS networks.

Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song

Math. Comput. Model., 2004

A comparative study on search strategies for cell assignments.

Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song

Int. J. Comput. Math., 2004