• Sign in
  • Sign up
conf.researchr.org / Haofeng Li
  • ASE 2023 profile
  • CGO 2024 profile
  • FSE 2025 profile
  • ICFP/SPLASH 2025 profile
  • ICSE 2025 profile
  • ICSE 2026 profile
  • ISSTA/ECOOP 2024 profile
  • SPLASH 2024 profile
  • SPLASH/ISSTA 2026 profile
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

2026

SPLASH

  • Author of Context-Free Language Reachability via Efficient Relation Chaining within the OOPSLA-track

ICSE

  • Author of LoopSCC: Summarizing Complex Multi-branch Nested Loops via Periodic Oscillation Interval within the Research Track-track

2025

SPLASH

  • Author of Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification within the OOPSLA-track

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
Share
xSat 18 Apr 22:39
using conf.researchr.org (v1.73.2)
Support page
Sign Up