Chenghang Shi (施程航)


Institute of Computing Technology, Chinese Academy of Sciences

Beijing
Email: chenghangshi [AT] gmail [DOT] com       
[GitHub] [Blog] [Twitter]

Short bio | Education | Internship | Awards |

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

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: .