Yulei Sui is an ARC Future Fellow and Scientia 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 inclu...
Yulei Sui is an ARC Future Fellow and Scientia 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 2025 ICSE Distinguished Paper Award, 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 its ecosystem for code analysis and verification, widely adopted in the software engineering community for both 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, Program Co-Chair of SAS 2025, Program Co-Chair of ISSRE 2025 and serves on the organizing committees for SPLASH 2025, FSE 2025 and ISSRE 2024.
His personal home page: https://yuleisui.github.io
- Publications
- Grants
- Awards
- Engagement
- Teaching and Supervision
National Competitive Grants:
- ARC Discovery Project (DP250101396), Certifying Code Language Models to Fortify Software Engineering Foundations, Lead CI, 2025-2027
- ARC Future Fellowships (FT220100391), Learning Software Security Analysers with Imperfect Data, Sole CI, 2023-2026
- ARC Discovery Project (DP210101348), Learning to Pinpoint Emerging Software Vulnerabilities, Lead CI, 2021-2023
- ARC Discovery Project (DP200101328), Adversarial Learning of Hybrid Representation, 2nd CI, 2020-2022
- ARC DECRA (DE170101081), Adaptive Value-Flow Analysis to Improve Code Reliability and Security, Sole CI, 2017 - 2019
Other Industry and Government-funded Projects:
- National Industry PhD program, Using AI to improve the safety of CT injection machines, Lead CI, 2024-2026
- NSW Decarbonisation Innovation Hub, Open Platform for Renewable Energy Bidding and Trading, Lead CI, 2025-2026
- CSIRO's Data61, Software-Hardware Co-Design for AI Applications, Lead CI, 2024-2026
- UNSW CVMM Collaborative Grant, AI-driven approach for cardiovascular risk-prediction, 2nd CI, 2024
- Google Aspire Award, Cross-Component Cross-Language Static Value-Flow Analysis for Android Ecosystem, Lead CI, 2023
- Digital Finance CRC PhD program, Static Analysis of Smart Contracts for Exploit Detection, Lead CI, 2022-2025
- 2025 Distinguished Paper Award, 47th International Conference on Software Engineering (ICSE 2025)
- 2024 Distinguished Paper Award, International Conference on the Foundations of Software Engineering (FSE 2024)
- 2024 Fellow of Engineers Australia (FIEAust)
- 2023 Google ASPIRE Gift Grant
- 2023 World’s Top 2% Scientists by Stanford University in the single year category 2023, 2024
- 2023 UNSW Scientia Fellowship
- 2023-2026 Australian Research Council Future Fellowship (awarded in 2022)
- 2022 OOPSLA 2022 Distinguished Artifact Award (OOPSLA 2022)
- 2022 JSPS Invitational Fellowship (mid-career to Professor level, short term)
- 2021 ICSE 2021 Distinguished Reviewer (ICSE 2021)
- 2020 ACM SIGPLAN Distinguished Paper Award (OOPSLA 2020)
- 2020 ISSRE Best Paper Nominee (ISSRE 2020)
- 2019 Radhia Cousot Young Researcher Best Paper Award (SAS 2019)
- 2018 ACM SIGSOFT Distinguished Paper Award (ICSE 2018)
- 2017-2019 Australian Research Council Discovery Early Career Researcher Award (ARC DECRA)
External:
- Associate Editor, IEEE Transactions on Software Engineering (the best journal in software engineering)
- Associate Editor, IEEE Transactions on Reliability
- Associate Editor, Automated Software Engineering journal
- Program Chair of 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)
- Program Chair of 32nd Static Analysis Symposium (SAS 2025)
- Program Chair of 36th IEEE International Symposium on Software Reliability Engineering. (ISSRE 2025)
- Organizing committees for
- ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2025)
- ACM International Conference on the Foundations of Software Engineering (FSE 2025)
- 32nd Asia-Pacific Software Engineering Conference (APSEC 2025)
- 35th IEEE International Symposium on Software Reliability Engineering (ISSRE 2024)
- 31st Asia-Pacific Software Engineering Conference (APSEC 2024)
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