Chenghang Shi

According to our database, Chenghang Shi authored at least 6 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving.

Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue

IEEE Trans. Software Eng., September, 2024

Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers.

Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling Xue

Proc. ACM Program. Lang., 2024

Better Not Together: Staged Solving for Context-Free Language Reachability.

Chenghang Shi, Haofeng Li, Jie Lu, Lian Li

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation.

Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, Lin Gao

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications.

Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian Li

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis.

Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023