Yulei Sui
Software Engineer at UNSW
Greater Sydney Area Australia
Summary
🤩
Rockstar🎓
Top SchoolYulei Sui is a software engineer based in Greater Sydney with 11 years of experience focused on program analysis and secure backend systems. He holds a PhD from UNSW in Program Analysis and Programming Languages, bringing research-grade rigor to practical engineering problems. An active open-source contributor to projects like the SVF static value-flow analysis framework, he has a track record of fixing deep memory-management bugs and implementing security-minded patches. Colleagues would describe him as a detail-oriented problem solver who blends low-level systems expertise with clean, maintainable code. He often surfaces non-obvious issues—such as subtle VFG dumping bugs and casting-related memory vulnerabilities—that improve tool reliability for the wider research and security communities.
10 years of coding experience
Doctor of Philosophy - PhD, Program Analysis, Programming Languages, Doctor of Philosophy - PhD, Program Analysis, Programming Languages at University of New South Wales
English, Chinese
Github Skills (7)
memory-management10
debug10
c-language10
static-analysis10
cprogramming-language10
pointer10
security10
Programming languages (7)
Github contributions (5)
SVF-tools/SVF
Jul 2015 - Jan 2023
Static Value-Flow Analysis Framework for Source Code
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:23 releases, 675 reviews, 1561 commits in 7 years 7 months
Contributions summary:Yulei primarily addressed errors and bugs within the SVF framework, particularly focusing on memory management aspects. They corrected uniqueFunRetNode errors and other issues related to VFG bugs and dumping SVFG. Furthermore, the user implemented security enhancements, as demonstrated by patches related to memory protection, specifically, by adding a black hole for casting. The user also focused on code formatting.
static-analyzerstatic-value-flowpointer-analysisanalysis-frameworkabstract-interpretation
SVF-tools/Teaching-Software-Verification
Feb 2022 - Jan 2023
Teaching and Learning Software Verification via SVF
Contributions:72 commits, 22 PRs, 87 pushes in 11 months
symbolic-executionsvfteachingverificationsoftware-verification
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.