 |
Chenghang Shi (施程航) |
Short Bio
I am a master student 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 program analysis and software engineering, particularly 1) practical and scalable program analysis techniques, and 2) their applications to software engineering and security.
:-) Feel free to drop me an email if you are interested.
Education
- 09/2021 - Now
Master student at the Institute of Computing Technology, Chinese Academy of Sciences.
- 09/2016 - 07/2021 Bachelor student at the School of Software Engineering, Tongji University.
Publications
- 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 and Jingling Xue.
The 38th IEEE/ACM International Conference on Automated Software Engineering, to appear, Sept 2023, Kirchberg, Luxembourg
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: .