Automated Debugging Using Path-Based Weakest Preconditions. - Haifeng He; Neelam Gupta (FASE, 2004)

Experimental evaluation of using dynamic slices for fault location. - Xiangyu Zhang 001; Haifeng He; Neelam Gupta; Rajiv Gupta 001 (AADEBUG, 2005)

Stochastic fluid model for P2P content distribution networks. - Ying Lu; An Zhang 002; Haifeng He; Zhiqun Deng (ISADS, 2005)

Locating faulty code using failure-inducing chops. - Neelam Gupta; Haifeng He; Xiangyu Zhang 001; Rajiv Gupta 001 (ASE, 2005)

Code Compaction of an Operating System Kernel. - Haifeng He; John Trimble; Somu Perianayagam; Saumya K. Debray; Gregory R. Andrews (CGO, 2007)

The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading. - Haifeng He; Saumya K. Debray; Gregory R. Andrews (EMSOFT, 2007)

Development of Intelligent Testing and Assessment System of Power Ability. - Weitao Zheng; Yong Ma; Haifeng He (IPC, 2007)

Evaluation of the Performance of the Double Rowing Hull. - Mingnong Yi; Weitao Zheng; Yong Ma; Haifeng He (IPC, 2007)

Evaluation of Hydrodynamic Performance of the Sailboard. - Yong Ma; Weitao Zheng; Haifeng He (IPC, 2007)

Memory Footprint Reduction of Operating System Kernels. - Haifeng He (2009)

The Impact of Truck Platooning on Traffic Flow Considering Bridge Safety Index. - Amir Hossein Karbasi; Mingsai Xu; Haifeng He; Steven Budisa; Hao Yang 025; Cancan Yang (ITSC, 2023)