Haofeng Li -

Registered user since Wed 26 Jul 2023

Name:Haofeng Li

Country:China

Affiliation:SKLP, Institute of Computing Technology, CAS

Personal website: https://leehaofeng.github.io/

Research interests:Program analysis, Software security

Contributions

2025

ESEC/FSE

Author of VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis within the Research Papers-track

ICSE

Author of Module-Aware Context Sensitive Pointer Analysis within the Research Track-track

2024

SPLASH

Author of Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers within the OOPSLA 2024-track

ISSTA

Author of Better Not Together: Staged Solving for Context-Free Language Reachability within the Technical Papers-track

CGO

Author of Boosting the Performance of Multi-solver IFDS Algorithms with Flow-Sensitivity Optimizations within the Main Conference-track

2023

ASE

Author of Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis within the Research Papers-track