About

2025

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

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)