Shuai Shao

Shuai Shao

PhD student in Computer Science at the University of Connecticut

Shuai Shao

I am a PhD student in Computer Science at the University of Connecticut, advised by Prof. Tingting Yu. My research interests include concurrent programming, static analysis, software refactoring, and LLMs for software engineering. My current research focuses on applying large language models to automated software engineering, particularly fault localization and program repair in concurrent programs.

Selected Publications

  1. Symgpt: Auditing smart contracts via combining symbolic execution with large language models.
    Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, Linhai Song.
    Proceedings of the ACM on Programming Languages (OOPSLA1), 2026.
  2. Information retrieval-based fault localization for concurrent programs.
    Shuai Shao, Tingting Yu.
    2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023.
  3. ReSwitcher: automatically refactoring java programs for switch expression.
    Yang Zhang, Chaoshuai Li, Shuai Shao.
    2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2021.
  4. FineLock: automatically refactoring coarse-grained locks into fine-grained locks.
    Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma.
    Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2020.
  5. Refactoring Java programs for customizable locks based on bytecode transformation.
    Yang Zhang, Shuai Shao, Huan Liu, Jing Qiu, Dongwen Zhang, Guanghua Zhang.
    IEEE Access, 2019.
  6. Identifying Concurrency Bug Reports via Linguistic Patterns.
    Shuai Shao, Lu Xiao, Tingting Yu.
    arXiv preprint arXiv:2601.16338, 2026.
  7. Auditgpt: Auditing smart contracts with chatgpt.
    Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang.
    arXiv preprint arXiv:2404.04306, 2024.
  8. Enhancing IR-based Fault Localization using Large Language Models.
    Shuai Shao, Tingting Yu.
    arXiv preprint arXiv:2412.03754, 2024.

Full publication list

Teaching Experience

  • Spring 2026: Teaching Assistant
    CSE 3400 / CSE 5850 — Introduction to Cryptography and Cybersecurity

  • Fall 2025: Teaching Assistant
    CSE 3400 / CSE 5850 — Introduction to Cryptography and Cybersecurity

Service

  • Reviewer, Journal of Software: Evolution and Process
  • External Reviewer, ICPE 2025