Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
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.