Yulei Sui

Yulei Sui is an Associate Professor at the School of Computer Science and Engineering, University of New South Wales (UNSW), where he conducts research at the intersection of programming languages, software engineering, and machine learning. His work focuses on developing open-source frameworks for static analysis and verification to enhance software reliability and quality. He currently serves as Program Chair for LCTES 2024, SAS 2025, and ISSRE 2025, and is a program committee member for numerous top-tier conferences including PLDI, OOPSLA, and ICSE.

His educational background includes a PhD from UNSW, where he has been a faculty member since completing his studies. His research interests span program analysis, software verification, machine learning applications in software engineering, and the intersection of programming languages with natural language processing and code LLMs. He leads the development of SVF (Static Value-Flow), an open-source framework for code analysis and verification, which has gained significant traction in both academic and industrial settings.

His recent publications demonstrate a strong focus on improving the precision and efficiency of static analysis techniques, particularly in areas like context-free language reachability, pointer analysis, typestate analysis, and vulnerability detection. His work often bridges theoretical advances with practical applications, resulting in tools that address real-world software reliability and security challenges. Several of his papers have received distinguished paper awards at top conferences including ICSE and FSE.

• ICSE Distinguished Paper Award (2025)
• FSE Distinguished Paper Award (2024)
• OOPSLA 2022 Distinguished Artifact Award
• Australian Research Council Future Fellowship
• Fellow of Engineers Australia (FIEAust)

Professor Sui actively mentors PhD students and undergraduate thesis candidates, with numerous students having completed their research under his supervision. He has secured significant research funding including ARC Discovery Projects and an ARC Future Fellowship. His community service includes editorial roles for IEEE Transactions on Software Engineering and IEEE Transactions on Reliability, demonstrating his standing as a leader in the software engineering research community.