About

About Me

I am an Assistant Professor at Institute of Computing Technology of the Chinese Academy of Sciences.
  • Name: Haofeng Li (李昊峰)
  • Address: Beijing, China
  • Email: lihaofeng@ict.ac.cn

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

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 (To appear)

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

Chenghang Shi, Haofeng Li*, Jie Lu, Lian Li*
Better Not Together: Staged Solving for Context-Free Language Reachability

Published in ISSTA

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

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

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

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

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

[slides]

Jie Lu, Haofeng Li, Chen Liu, Lian Li
Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems

Published in ACM CCS

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

[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

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)