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 OOPSLA 2020. I have served as the web chair of LCTES 2024 (CCF-B ranked), and am serving or have served as artifact evaluation committee members for ISSTA 2024/2023, SAS 2023 and FormaliSE 2024/2023. Contact me at xiao Dot cheng AT unsw Dot edu Dot au. For more information, please visit my personal homepage.