Hanfei Wang

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 9

Top Topics

Sparse Approximation

Top Venues

Publications

Jiangnan Yu, Yang Fan, Hanfei Wang, Yuxuan Qiao, Zheng Wu, Xiankui Xiong, Xiao Yao, Haidong Yao, Yecheng Zhang
FullSparse: A Sparse-Aware GEMM Accelerator with Online Sparsity Prediction. CF (2024)
Salman Alfarisi, Yuya Mitake, Yusuke Tsutsui, Hanfei Wang, Yoshiki Shimomura
Bibliometric Analysis of a Product-Service System's Rebound Effect: Identification of a Potential Mitigation Strategy. Syst. 11 (9) (2023)
Hanfei Wang, Yuan Zuo, Hong Li, Junjie Wu
Cross-domain recommendation with user personality. Knowl. Based Syst. 213 (2021)
Yanxiang He, Zhuomin Du, Hanfei Wang
Research on the Knowledge and Ability dual-driven Teaching Model for the Course of Compilers Principles. ICCSE (2020)
Yuchen Dong, Hanfei Wang, Jianhua Zhao
基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method). 计算机科学 42 (12) (2015)
Xiaoli Zhou, Hanfei Wang, Jianhua Zhao
A Fault-Localization Approach Based on the Coincidental Correctness Probability. QRS (2015)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Node-Set Analysis for Linked Recursive Data Structures. QRS (2015)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware (2015)
Juan Zhai, Hanfei Wang, Jianhua Zhao
Assertion-Directed Precondition Synthesis for Loops over Data Structures. SETTA (2015)
Juan Zhai, Hanfei Wang, Jianhua Zhao
Post-condition-Directed Invariant Inference for Loops over Data Structures. SERE (Companion) (2014)
Yuanfang Cai, Hanfei Wang, Sunny Wong, Linzhang Wang
Leveraging design rules to improve software architecture recovery. QoSA (2013)
Yuchen Xing, Hanfei Wang, Jianhua Zhao
An Integration of Several Different Data Flow Analysis Techniques. ISCTCS (2012)
Kai Cheng, Hanfei Wang
A Web warehouse system for semi-automatically gathering and managing online news. AMT (2005)