Fei He

87 papers A* 12B 7C 1Misc 7Journal 45Unranked 15
YearRankTypeTitle / Venue / Authors
2025 Misc conf
On Temporal Verification of Stateful P4 Programs.
NSDI
Delong Zhang, Chong Ye, Fei He
2025 J jnl
Resolving Build Conflicts via Example-Based and Rule-Based Program Transformations.
CoRR
Sheikh Shadab Towqir, Fei He, Todd Mytkowicz, Na Meng
2025 — conf
Robustness Verification for Checking Crash Consistency of Non-volatile Memory.
ASPLOS (1)
Zhilei Han, Fei He
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 J jnl
Leveraging Datapath Propagation in IC3 for Hardware Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hongyu Fan, Fei He
2024 A* conf
P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs.
INFOCOM
Delong Zhang, Chong Ye, Fei He
2023 J jnl
A Characterization Study of Merge Conflicts in Java Projects.
ACM Trans. Softw. Eng. Methodol.
Bowen Shen, Muhammad Ali Gulzar, Fei He, Na Meng
2023 J jnl
Automated Ambiguity Detection in Layout-Sensitive Grammars.
Proc. ACM Program. Lang.
Jiangyi Liu, Fengmin Zhu, Fei He
2023 A* conf
Data-driven Recurrent Set Learning For Non-termination Analysis.
ICSE
Zhilei Han, Fei He
2023 J jnl
Learning Adaptive Node Embeddings Across Graphs.
IEEE Trans. Knowl. Data Eng.
Gaoyang Guo, Chaokun Wang, Bencheng Yan, Yunkai Lou, Hao Feng, Junchao Zhu, Jun Chen, Fei He, Philip S. Yu
2023 J jnl
Leveraging Datapath Propagation in IC3 for Hardware Model Checking.
CoRR
Hongyu Fan, Fei He
2023 J jnl
On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both.
J. Syst. Archit.
Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He
2023 — conf
P4b: A Translator from P4 Programs to Boogie.
ESEC/SIGSOFT FSE
Chong Ye, Fei He
2023 J jnl
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
ACM Trans. Program. Lang. Syst.
Hongyu Fan, Zhihang Sun, Fei He
2022 J jnl
Consistency-preserving propagation for SMT solving of concurrent program verification.
Proc. ACM Program. Lang.
Zhihang Sun, Hongyu Fan, Fei He
2022 A* conf
Data-Driven Loop Bound Learning for Termination Analysis.
ICSE
Rongchen Xu, Jianhui Chen, Fei He
2022 — conf
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).
TACAS (2)
Fei He, Zhihang Sun, Hongyu Fan
2022 J jnl
Efficient Summary Reuse for Software Regression Verification.
IEEE Trans. Software Eng.
Fei He, Qianshan Yu, Liming Cai
2022 Misc conf
EqFix: Fixing LaTeX Equation Errors by Examples.
SETTA
Fengmin Zhu, Fei He
2022 B conf
Interference relation-guided SMT solving for multi-threaded program verification.
PPoPP
Hongyu Fan, Weiting Liu, Fei He
2022 J jnl
Lay-it-out: Interactive Design of Layout-Sensitive Grammars.
CoRR
Fengmin Zhu, Jiangyi Liu, Fei He
2022 Misc conf
Mastery: Shifted-Code-Aware Structured Merging.
SETTA
Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He
2022 J jnl
ProbTA: A sound and complete proof rule for probabilistic verification.
CoRR
Guanyan Li, Zhilei Han, Fei He
2021 J jnl
Automatic Detection and Resolution of Software Merge Conflicts: Are We There Yet?
CoRR
Bowen Shen, Cihan Xiao, Na Meng, Fei He
2021 J jnl
EqFix: Fixing LaTeX Equation Errors by Examples.
CoRR
Fengmin Zhu, Fei He
2021 J jnl
Leveraging Control Flow Knowledge in SMT Solving of Program Verification.
ACM Trans. Softw. Eng. Methodol.
Jianhui Chen, Fei He
2021 J jnl
PSpec-SQL: Enabling Fine-Grained Control for Distributed Data Analytics.
IEEE Trans. Dependable Secur. Comput.
Chen Luo, Fei He, Fei Peng, Dong Yan, Dan Zhang, Xin Zhou
2021 A* conf
Satisfiability modulo ordering consistency theory for multi-threaded program verification.
PLDI
Fei He, Zhihang Sun, Hongyu Fan
2020 J jnl
Incremental predicate analysis for regression verification.
Proc. ACM Program. Lang.
Qianshan Yu, Fei He, Bow-Yaw Wang
2020 — conf
Interval counterexamples for loop invariant learning.
ESEC/SIGSOFT FSE
Rongchen Xu, Fei He, Bow-Yaw Wang
2020 A* conf
Proving Termination by k-Induction.
ASE
Jianhui Chen, Fei He
2020 A* conf
Proving almost-sure termination by omega-regular decomposition.
PLDI
Jianhui Chen, Fei He
2020 J jnl
Termination analysis for evolving programs: an incremental approach by reusing certified modules.
Proc. ACM Program. Lang.
Fei He, Jitao Han
2019 — conf
Enhancing precision of structured merge by proper tree matching.
ICSE (Companion Volume)
Fengmin Zhu, Fei He, Qianshan Yu
2018 J jnl
Conflict resolution for structured merge via version space algebra.
Proc. ACM Program. Lang.
Fengmin Zhu, Fei He
2018 A* conf
Control flow-guided SMT solving for program verification.
ASE
Jianhui Chen, Fei He
2018 J jnl
Efficient software product-line model checking using induction and a SAT solver.
Frontiers Comput. Sci.
Fei He, Yuan Gao, Liangze Yin
2018 J jnl
SMT-based query tracking for differentially private data analytics systems.
Frontiers Comput. Sci.
Chen Luo, Fei He
2018 J jnl
When Regression Verification Meets CEGAR.
CoRR
Fei He, Qianshan Yu, Liming Cai
2017 — conf
Assertion Recommendation for Formal Program Verification.
COMPSAC (1)
Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun
2017 J jnl
Inferring software behavioral models with MapReduce.
Sci. Comput. Program.
Chen Luo, Fei He, Carlo Ghezzi
2017 — conf
PSpec: a formal specification language for fine-grained control on distributed data analytics.
ICSE (Companion Volume)
Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang
2017 J jnl
Verification of Implementations of Cryptographic Hash Functions.
IEEE Access
Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun
2016 J jnl
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes.
ACM Trans. Softw. Eng. Methodol.
Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang
2016 — conf
Learning-Based Assume-Guarantee Regression Verification.
CAV (1)
Fei He, Shu Mao, Bow-Yaw Wang
2015 J jnl
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.
Theory Comput. Syst.
Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu
2015 J jnl
Generalized interface automata with multicast synchronization.
Frontiers Comput. Sci.
Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015 Misc conf
Inferring Software Behavioral Models with MapReduce.
SETTA
Chen Luo, Fei He, Carlo Ghezzi
2015 A* conf
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.
POPL
Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang
2015 A* conf
VeRV: A temporal and data-concerned verification framework for the vehicle bus systems.
INFOCOM
Shuo Zhang, Fei He, Ming Gu
2014 J jnl
Array Theory of Bounded Elements and its Applications.
J. Autom. Reason.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2014 B conf
Clause Replication and Reuse in Incremental Temporal Induction.
ICECCS
Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun
2014 A* conf
Symbolic assume-guarantee reasoning through BDD learning.
ICSE
Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu
2013 J jnl
A Unified Framework for DPLL(T) + Certificates.
J. Appl. Math.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2013 B conf
Component-Based Modeling and Code Synthesis for Cyclic Programs.
COMPSAC
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu
2013 J jnl
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
CoRR
Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
2013 A* conf
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.
CAV
Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
2013 Misc conf
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information.
TASE
Liangze Yin, Fei He, Ming Gu
2013 B conf
Reusing Search Tree for Incremental SAT Solving of Temporal Induction.
ICECCS
Liangze Yin, Fei He, Min Zhou, Ming Gu
2013 B conf
VCS: A Verifier for Component-Based Systems.
ATVA
Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng
2012 J jnl
Maxterm Covering for Satisfiability.
IEEE Trans. Computers
Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
2012 — conf
Thread-Modular Model Checking with Iterative Refinement.
NASA Formal Methods
Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu
2011 Misc conf
An Efficient Resolution Based Algorithm for SAT.
TASE
Min Zhou, Fei He, Ming Gu
2010 J jnl
An Analytical Congestion Model with Bounded-Bend Detours.
J. Circuits Syst. Comput.
Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang
2010 — conf
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
ISoLA (1)
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu
2010 Misc conf
Compositional Abstraction Refinement for Timed Systems.
TASE
Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu
2010 J jnl
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.
IEEE Trans. Computers
Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2010 A* conf
On Array Theory of Bounded Elements.
CAV
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu
2009 B conf
Data mining based decomposition for assume-guarantee reasoning.
FMCAD
He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
2009 J jnl
Heuristic-Guided Abstraction Refinement.
Comput. J.
Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2009 — conf
Translation-Based Model Checking for PLC Programs.
COMPSAC (1)
Min Zhou, Fei He, Ming Gu, Xiaoyu Song
2007 J jnl
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".
ACM Trans. Design Autom. Electr. Syst.
Gang Chen, Xiaoyu Song, Feng Liu, Qingping Tan, Fei He
2007 — conf
Effective heuristics for counterexample-guided abstraction refinement.
ACM Great Lakes Symposium on VLSI
Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
2007 C conf
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
FORTE
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
2006 B conf
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.
ATVA
Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2006 J jnl
A combinatorial congestion estimation approach with generalized detours.
Comput. Math. Appl.
Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun
2006 J jnl
Congestion estimation for hexagonal routing.
Int. J. Comput. Math.
Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang
2006 J jnl
Probabilistic optimization for FPGA board level routing problems.
IEEE Trans. Circuits Syst. II Express Briefs
Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun
2006 — conf
Verifying Java Programs By Theorem Prover HOL.
COMPSAC (1)
Anduo Wang, Fei He, Ming Gu, Xiaoyu Song
2005 — conf
A Hierachical Method for Wiring and Congestion Prediction.
ISVLSI
Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun
2005 J jnl
Multiterminal net assignments by scatter search.
Math. Comput. Model.
Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun
2005 J jnl
On Theoretical Upper Bounds for Routing Estimation.
J. Univers. Comput. Sci.
Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2005 J jnl
Probabilistic Estimation for Routing Space.
Comput. J.
Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng
2005 — conf
Segmented channel routing with pin rearrangements via satisfiability.
ISCAS (6)
Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
2004 J jnl
A comparative study on search strategies for cell assignments.
Int. J. Comput. Math.
Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song
2004 J jnl
A stochastic model for cellassignments in PCS networks.
Math. Comput. Model.
Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song