Short Bio
I am a Ph.D. candidate at the
Institute of Computing Technology, Chinese Academy of Sciences,
under the supervision of
Prof. Lian Li.
Prior to this, I obtained my Bachelor's degree at Tongji University.
I am broadly interested in topics related to programming language and software engineering, with a focus on techniques that enhance software security, reliability, and performance.
Particularly, I enjoy working on program analysis problems from vairous perspectives such as graph/database theory and formal languages.
I am deeply amazed by the connection of techniques across different research communities.
:-) Feel free to drop me an email if you are interested in my work.
Education
Publications
-
ISSTA'24: Better Not Together: Staged Solving for Context-Free Language Reachability
[pdf]
Chenghang Shi, Haofeng Li, Jie Lu, Lian Li
The 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis
-
TSE'24: PEARL: A Multi-Derivation Approach to Efficient CFL-Reachability Solving
[pdf]
Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue.
Transactions on Software Engineering, 2024
-
OOPSLA'24: Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
[pdf]
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling Xue
The 39th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications
-
CCS'24: Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications
Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian Li
The 31th ACM SIGSAC Conference on Computer and Communications Security
-
ICECCS'24: AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation
[pdf]
Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, Lin Gao
The 28th International Conference on Engineering of Complex Computer Systems
- ASE 2023: Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis
[pdf]
[slides]
Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue
The 38th IEEE/ACM International Conference on Automated Software Engineering
Internship
- 05/2022 - 12/2022 Research Intern at Ant Group.
Awards
- Outstanding Graduates in Tongji University. 2021
- First Class Scholarship in Tongji University. 2019, 2020
Part of the page is generated by jemdoc.
Last Updated: .