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 OOPSLA 2020. I am one of the major contributors of a state-of-the-art value-flow analysis framework, SVF (authored by Yulei Sui), and online open courses for learning software analysis, which have been integrated into the curricula of the UTS and NEUQ since 2021. 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.