About

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

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

Chenghang Shi, Haofeng Li*, Jie Lu, Lian Li*
Better Not Together: Staged Solving for Context-Free Language Reachability
Published in ISSTA (To appear)

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

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

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 软件学报

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]

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]