Yao Zhang

Postdoc, College of Intelligence and Computing, Tianjin University

Joined

October 2024

Names

Yao Zhang (Preferred)

Emails

****@tju.edu.cn (Confirmed)

Personal Links

Google Scholar

DBLP

ORCID

Career & Education History

Postdoc

College of Intelligence and Computing, Tianjin University (tju.edu.cn)

2024 – 2027

PhD student

College of Intelligence and Computing, Tianjin University (tju.edu.cn)

2018 – 2024

MS student

College of Intelligence and Computing, Tianjin University (tju.edu.cn)

2015 – 2018

Advisors, Relations & Conflicts

PhD Advisor

Xiaohong Li

2018 – 2025

Coauthor

Xiaofei Xie

2018 – 2025

Coauthor

Sen Chen

2018 – 2025

Expertise

AI for Software Engineering

2024 – 2025

Software Testing

2018 – 2024

Software Verification

2015 – 2018

Publications

Demystifying Performance Regressions in String Solvers
Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, Xiaohong Li
- Published: 01 Jan 2023, Last Modified: 13 May 2023
- IEEE Trans. Software Eng. 2023
- Readers: Everyone
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li
- CoRR 2023
- Readers: Everyone
Large-scale analysis of non-termination bugs in real-world OSS projects
Xiuhan Shi, Xiaofei Xie, Yi Li, Yao Zhang, Sen Chen, Xiaohong Li
- 2022 (modified: 22 Nov 2022)
- ESEC/SIGSOFT FSE 2022
- Readers: Everyone
Loopster++: Termination Analysis for Multi-path Linear Loop
Hui Jin, Weimin Ge, Yao Zhang, Xiaohong Li, Zhidong Deng
- CollaborateCom (1) 2021
- Readers: Everyone
Inferring Loop Invariants for Multi-Path Loops
Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, Lintan Sun
- TASE 2021
- Readers: Everyone
An Empirical Study in Software Verification Tools
Mengmeng Jiang, Xiaohong Li, Xiaofei Xie, Yao Zhang
- TASE 2020
- Readers: Everyone
CSP-E: An abuse-free contract signing protocol with low-storage TTP for energy-efficient electronic transaction ecosystems
Guangquan Xu, Yao Zhang, Arun Kumar Sangaiah, Xiaohong Li, Aniello Castiglione, Xi Zheng
- Inf. Sci. 2019
- Readers: Everyone

Yao Zhang

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Demystifying Performance Regressions in String Solvers

EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software

Large-scale analysis of non-termination bugs in real-world OSS projects

Loopster++: Termination Analysis for Multi-path Linear Loop

Inferring Loop Invariants for Multi-Path Loops

An Empirical Study in Software Verification Tools

CSP-E: An abuse-free contract signing protocol with low-storage TTP for energy-efficient electronic transaction ecosystems

Co-Authors