About

About Me

I am an Associate Professor at the Institute of Computing Technology (ICT) of the Chinese Academy of Sciences (CAS).

My research interests are program analysis, software security, and hardware security.
  • Name: Haofeng Li (李昊峰)
  • Email: lihaofeng@ict.ac.cn

#: Equal Contribution, *: Corresponding Author

2026

Kai Zhu#, Haofeng Li#, Kuihao Yan, Rongqing Wang, Jiaming Guo, Haoran Yang, Jie Lu, Lei Yu, Xiaoqi Jia, Chenkai Guo, Haichao Du, Qingjia Huang, Yamin Xie, Jing Tang
LoopSCC: Summarizing Complex Multi-branch Nested Loops via Periodic Oscillation Interval
Published in ICSE (CCF-A)

2025

Chenghang Shi, Dongjie He, Haofeng Li*, Jie Lu, Lian Li*, Jingling Xue
Published in OOPSLA (CCF-A)
Liqing Cao, Haofeng Li*, Chenghang Shi, Jie Lu, Haining Meng, Lian Li*, Jingling Xue
Published in FSE (CCF-A)
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan Zhao
Published in ICSE (CCF-A)

2024

Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling Xue
Published in OOPSLA (CCF-A)
Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian Li
Published in CCS (CCF-A)
Chenghang Shi, Haofeng Li*, Yulei Sui, Jie Lu, Lian Li*, Jingling Xue
Published in TSE (CCF-A)
Chenghang Shi, Haofeng Li*, Jie Lu, Lian Li*
Published in ISSTA (CCF-A)
Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, ChenXi Cui
Published in TSE (CCF-A)
Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, Lin Gao
Published in ICECCS (CCF-C)
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin Gao
Published in CGO (CCF-B)

2023

Chenghang Shi, Haofeng Li*, Yulei Sui, Jie Lu, Lian Li*, Jingling Xue
Published in ASE (CCF-A)

2022

Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao
Published in ESEC/FSE (CCF-A)
Jie Lu, Haofeng Li, Chen Liu, Lian Li
Published in ACM CCS (CCF-A)
Best Paper Honorable Mention
Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Lian Li
Published in 软件学报

2021

Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin Gao
Published in CGO (CCF-B)

2019

Dongjie He, Haofeng Li , Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue
Published in ASE (CCF-A)
Distinguished Paper Award

Artifact Evaluation Committee

IEEE/ACM International Symposium on Code Generation and Optimization(CGO)2026
USENIX Symposium on Operating Systems Design and Implementation(OSDI)2023
USENIX Annual Technical Conference(ATC)2023

Journal Reviewer

The Journal of Systems & Software(JSS)
Automated Software Engineering(ASE)
IEEE Transactions on Reliability(TR)
Journal of Systems Architecture(JSA)