Fei He - RankMe

87 papers A* 12B 7C 1Misc 7Journal 45Unranked 15

Year	Rank	Type	Title / 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