• Sign in
  • Sign up
conf.researchr.org / Chenghang Shi
  • ASE 2023 profile
  • FSE 2025 profile
  • ICFP/SPLASH 2025 profile
  • ICSE 2025 profile
  • ISSTA/ECOOP 2024 profile
  • SPLASH 2024 profile
Chenghang Shi

Registered user since Wed 14 Apr 2021

Name:Chenghang Shi
Bio:

I am broadly interested in topics related to program analysis and software engineering, particularly 1) practical and scalable program analysis techniques, and 2) their applications to software engineering and security.

Country:China
Affiliation:SKLP, Institute of Computing Technology, CAS
Personal website: https://enochii.github.io/
X (Twitter): https://x.com/sch0016
Research interests:Program analysis, Software engineering

Contributions

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

2023

ASE

  • Author of Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis within the Research Papers-track
Share
xSun 26 Oct 19:40
using conf.researchr.org (v1.72.1)
Support page
Sign Up