About

About Me

I am an Assistant Professor at Institute of Computing Technology of the Chinese Academy of Sciences.
  • 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
Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification
Published in OOPSLA (CCF-A)

Liqing Cao, Haofeng Li*, Chenghang Shi, Jie Lu, Haining Meng, Lian Li*, Jingling Xue
VulPA: Detecting Recurring Vulnerabilities with Multi-Object Typestate Analysis
Published in FSE (CCF-A)

Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan Zhao
Module-Aware Context Sensitive Pointer Analysis
Published in ICSE (CCF-A)

2024

Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling Xue
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Published in OOPSLA (CCF-A)

Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian Li
Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications
Published in CCS (CCF-A)

Chenghang Shi, Haofeng Li*, Yulei Sui, Jie Lu, Lian Li*, Jingling Xue
PEARL: A Multi-Derivation Approach to Efficient CFL-Reachability Solving
Published in TSE (CCF-A)

Chenghang Shi, Haofeng Li*, Jie Lu, Lian Li*
Better Not Together: Staged Solving for Context-Free Language Reachability
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
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
Published in TSE (CCF-A)

Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, Lin Gao
AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation
Published in ICECCS (CCF-C)

Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin Gao
Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-sensitivity Optimizations
Published in CGO (CCF-B)

2023

Chenghang Shi, Haofeng Li*, Yulei Sui, Jie Lu, Lian Li*, Jingling Xue
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis
Published in ASE (CCF-A)

2022

Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao
Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics
Published in ESEC/FSE (CCF-A)
[slides]

Jie Lu, Haofeng Li, Chen Liu, Lian Li
Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems
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
Scaling up the IFDS algorithm with efficient disk-assisted computing
Published in CGO (CCF-B)
[slides]

2019

Dongjie He, Haofeng Li , Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue
Performance-boosting sparsification of the IFDS algorithm with applications to taint analysis
Published in ASE (CCF-A)
Distinguished Paper Award
[slides]

Artifact Evaluation Committee

USENIX Symposium on Operating Systems Design and Implementation(OSDI)2023
USENIX Annual Technical Conference(ATC)2023

Journal Reviewer

IEEE Transactions on Reliability(TR)
Journal of Systems Architecture(JSA)