Haofeng Li

Haofeng Li is a Researcher affiliated with the Institute of Computing Technology, Chinese Academy of Sciences and the University of Chinese Academy of Sciences in China. His primary research focuses on advancing program analysis techniques, with specializations in static analysis, taint analysis, and pointer analysis. His work demonstrates consistent innovation in optimizing data flow algorithms.

Li's research centers on improving the scalability and efficiency of program analysis frameworks. Key themes include:

• Developing customized context-sensitive analysis for modern programming paradigms
• Enhancing computational efficiency of the IFDS algorithm through sparsification
• Addressing memory constraints via disk-based computation approaches
• Practical applications in security-oriented taint analysis

His publications appear in premier venues including ASE (2019), CGO (2021), and ESEC/FSE (2022), demonstrating sustained contributions to software engineering and compiler research. Current information doesn't specify educational background, supervised students, research grants, or laboratory affiliations.