Shuai Shao

Shuai Shao

PhD student in Computer Science at the University of Connecticut

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. Identifying Concurrency Bug Reports via Linguistic Patterns.
    Shuai Shao, Lu Xiao, Tingting Yu. arXiv preprint arXiv:2601.16338, 2026.
  3. Auditgpt: Auditing smart contracts with chatgpt.
    Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang. arXiv preprint arXiv:2404.04306, 2024.
  4. Enhancing IR-based Fault Localization using Large Language Models.
    Shuai Shao, Tingting Yu. arXiv preprint arXiv:2412.03754, 2024.
  5. Information retrieval-based fault localization for concurrent programs.
    Shuai Shao, Tingting Yu. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023.
  6. 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.
  7. 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.
  8. 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.