I am a final-year PhD candidate at School of Computer Science and Engineering, University of New South Wales (UNSW), where I am advised by Scientia Associate Professor Yulei Sui. My research interests include Program Analysis, Secure Software Engineering and Intelligent Software Engineering (SE4AI, AI4SE). My papers have been published in top-tier conferences and journals in the field of program analysis and software engineering such as OOPSLA, TOSEM, TDSC, ICSE, FSE and ISSTA, and awarded ACM SIGSOFT Distinguished Paper Award for FSE 2024 and ACM SIGPLAN Distinguished Paper Award for OOPSLA 2020.I have served as the web chair of LCTES 2024 and am serving or have served as artifact evaluation committee members for ICSE 2025, ISSTA 2024/2023, SAS 2023 and FormaliSE 2024/2023, and PC member for ISSRE 2024 (DS track). I am always open to collaboration and engaging discussions. If you have innovative ideas you'd like to share, please don't hesitate to reach out to me via xiao Dot cheng AT unsw Dot edu Dot au. For more information, please visit my personal homepage.
Pinned Loading
-
SVF-xiao
SVF-xiao PublicForked from SVF-tools/SVF
Static Value-Flow Analysis for C and C++ Programs
C++ 1
-
DeepWukong
DeepWukong PublicDeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network
-
SVF-tools/Teaching-Software-Analysis
SVF-tools/Teaching-Software-Analysis Public templateTeaching and Learning Software Analysis via SVF
-
SVF-tools/Teaching-Software-Verification
SVF-tools/Teaching-Software-Verification Public templateTeaching and Learning Software Verification via SVF
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.