UNSW Research Web and Researcher Profiles are undergoing scheduled maintenance between 9:00 am on 9th October 2024 and 5:00 pm on 9th October 2024.
Content changes made during this period will be lost. This maintenance does not impact InfoEd or other applications.

Researcher

Associate Professor Yulei Sui

Fields of Research (FoR)

Software engineering, Programming languages, Software testing, verification and validation

Biography

Yulei Sui is an ARC Future Fellow and Associate Professor at UNSW. He is broadly interested in Software Engineering and Programming Languages. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve the reliability and security of modern software systems. His recent interest lies at the intersection of programming languages, natural languages and code LLMs....view more

Yulei Sui is an ARC Future Fellow and Associate Professor at UNSW. He is broadly interested in Software Engineering and Programming Languages. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve the reliability and security of modern software systems. His recent interest lies at the intersection of programming languages, natural languages and code LLMs. Specifically, his current research projects include analysis and verification for software systems and AI models.

His papers have been published in top-tier conferences and journals in the fields of program analysis and software engineering, including PLDI, OOPSLA, ASPLOS, TSE, TOSEM, ICSE, FSE, SAS, ISSTA, ASE, ECOOP, CGO, and CC. The quality and impact of his research have been recognised with a number of prestigious awards, including a 2024 FSE Distinguished Paper Award, a 2022 OOPSLA Distinguished Artifact Award, a 2021 ICSE Distinguished Reviewer Award, a 2020 OOPSLA Distinguished Paper Award, a 2019 SAS Best Paper Award, a 2018 ICSE Distinguished Paper Award, a 2013 CGO Best Paper Award, a JSPS Invitational Fellowship (2022), an ARC Discovery Early Career Researcher Award (2017-2019), an ARC Future Fellowship (2023-2026), and a Google ASPIRE Award (2023). He is an IEEE Senior Member and a Fellow of Engineers Australia (FIEAust).

He is the creator and primary maintainer of SVF, an open-source framework and ecosystem for software analysis and verification, widely adopted in both academia and industry for research and education. He currently serves as an Associate Editor for IEEE Transactions on Software Engineering (the best journal in software engineering) and an Associate Editor for IEEE Transactions on Reliability. He is the Program Chair of LCTES 2024 and Program Co-Chair of SAS 2025 and serves on the organizing committees for SPLASH 2025, FSE 2025 and ISSRE 2024.

 

His personal home page: https://yuleisui.github.io


My Qualifications

Ph.D. in Computer Science from UNSW Sydney


My Awards


My Engagement

External:

 

Internal:

  • Postgraduate Coordinator (Candidature), School of Computer Science and Engineering
  • Member, Higher Degree Committee, Faculty of Engineering
  • Member, Faculty Research Committee, Faculty of Engineering

 


My Teaching

View less

Publications

by Associate Professor Yulei Sui