| 2025 | ECAI | Reasoning Optimization of Multi-Agent Systems via Abstract Domain Semantics. | Lin Ao, Han Liu, Huafeng Zhang |
| 2021 | ICSE | Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing. | Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang |
| 2021 | ICSE | IntelliGen: Automatic Driver Synthesis for Fuzz Testing. | Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang |
| 2020 | ICSE | Escape from escape analysis of Golang. | Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu |
| 2019 | ISSRE | Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. | Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu |
| 2019 | ISSTA | Go-clone: graph-embedding based clone detector for Golang. | Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun |
| 2016 | FM | Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. | Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun |
| 2016 | MODELS | Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. | Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun |
| 2007 | ICCAD | Modeling, optimization and control of rotary traveling-wave oscillator. | Cheng Zhuo, Huafeng Zhang, Rupak Samanta, Jiang Hu, Kangsheng Chen |
| 1998 | ICASSP | Instantaneous parameter estimation based on continuous wavelet transform and some improvements. | Huafeng Zhang, Jianping Zhao, Jianguo Huang |