Haofeng Li -

Registered user since Wed 26 Jul 2023

Name:Haofeng Li

Country:China

Affiliation:Institute of Computing Technology at Chinese Academy of Sciences

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

Research interests:Program analysis, Software security

Contributions

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