Scholar
Yulei Sui
Google Scholar ID: wGHqq1cAAAAJ
University of New South Wales (UNSW Sydney)
Citations & Impact
Citations
4,853
H-index
36
i10-index
82
Publications
20
Co-authors
22
list available
Contact
Publications
Resume (English only)
Academic Achievements
- His work has appeared in conferences and journals in program analysis and software engineering, including ICSE, FSE, OOPSLA, SAS, and CGO, and has received recognition through distinguished papers and artifact awards; supported by fellowships and grants such as ARC Discovery Projects, ARC Future Fellowship, JSPS Fellowship, and industry awards (Amazon and Google); is an IEEE Senior Member and a Fellow of Engineers Australia (FIEAust).
Research Experience
- Currently an Associate Professor at the School of Computer Science and Engineering, University of New South Wales (UNSW); leads the development of SVF, an open-source framework for code analysis and verification; serves on editorial boards (e.g., IEEE Transactions on Software Engineering, IEEE Transactions on Reliability) and program committees, as well as program co-chair roles at conferences such as LCTES 2024, SAS 2025, and ISSRE 2025.
Background
- Research interests: software engineering and programming languages, focusing on open-source frameworks for static analysis and verification to improve the reliability and quality of modern software systems. He also explores the intersection of programming languages, natural languages, and code LLMs.
Miscellany
- Looking for self-motivated PhD students or undergraduate thesis students interested in software analysis and verification and/or machine learning.
