Fei He

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 38

Top Topics

Termination Analysis

Differentially Private

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Softw. Eng. Methodol.

Publications

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