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 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.