Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Refactoring Java programs for customizable locks based on bytecode transformation
Published in IEEE Access, 2019
Recommended citation: Yang Zhang, Shuai Shao, Huan Liu, Jing Qiu, Dongwen Zhang, Guanghua Zhang. Refactoring Java programs for customizable locks based on bytecode transformation. IEEE Access, 2019.
Download Paper
FineLock: automatically refactoring coarse-grained locks into fine-grained locks
Published in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2020
Recommended citation: Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma. FineLock: automatically refactoring coarse-grained locks into fine-grained locks. Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020.
Download Paper
ReSwitcher: automatically refactoring java programs for switch expression
Published in 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2021
Recommended citation: Yang Zhang, Chaoshuai Li, Shuai Shao. ReSwitcher: automatically refactoring java programs for switch expression. 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2021.
Download Paper
Information retrieval-based fault localization for concurrent programs
Published in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023
Recommended citation: Shuai Shao, Tingting Yu. Information retrieval-based fault localization for concurrent programs. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023.
Download Paper
Enhancing IR-based Fault Localization using Large Language Models
Published in arXiv preprint arXiv:2412.03754, 2024
Recommended citation: Shuai Shao, Tingting Yu. Enhancing IR-based Fault Localization using Large Language Models. arXiv preprint arXiv:2412.03754, 2024.
Download Paper
Auditgpt: Auditing smart contracts with chatgpt
Published in arXiv preprint arXiv:2404.04306, 2024
Recommended citation: Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang. Auditgpt: Auditing smart contracts with chatgpt. arXiv preprint arXiv:2404.04306, 2024.
Download Paper
Identifying Concurrency Bug Reports via Linguistic Patterns
Published in arXiv preprint arXiv:2601.16338, 2026
Recommended citation: Shuai Shao, Lu Xiao, Tingting Yu. Identifying Concurrency Bug Reports via Linguistic Patterns. arXiv preprint arXiv:2601.16338, 2026.
Download Paper
Symgpt: Auditing smart contracts via combining symbolic execution with large language models
Published in Proceedings of the ACM on Programming Languages (OOPSLA1), 2026
Recommended citation: Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, Linhai Song. Symgpt: Auditing smart contracts via combining symbolic execution with large language models. Proceedings of the ACM on Programming Languages, 2026.
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.