Academic Qualification

Ph.D. in University of Alberta

Master in Max Planck Institute for Software Systems

Bachelor in Sun Yat-sen University

Teaching Area

Operating Systems

Software Engineering

Software Testing

Machine learning

Research Area

Trustworthy Large Language Model

Safety Analysis for AI-enabled Cyber Physical Systems

Neural Network Verification

Professional Services

Program Committee:

ACM ISSTA Proceedings Co-Chair 2025

IEEE/ACM ICSE Artifact Evaluation Committee 2025

ACM ISSTA Artifact Evaluation Committee 2025

NDSS Artifact Evaluation Committee 2025

CAV Artifact Evaluation Committee 2025

ACM ISSTA Artifact Evaluation Committee 2024

AAAI Program Committee 2026

Journal Reviewer:

IEEE Transactions on Software Engineering (TSE)

IEEE Transactions on Reliability (TR)

Empirical Software Engineering (EMSE)

Automated Software Engineering (AuSE)

Working Experience

Sep. 2025 ~ present, Assistant Professor, School of Computer Science and Engineering, Faculty of Innovation Engineering, MUST

Academic Publication (selected)

(* indicates joint first author)

1.          Xuan Xie, Jiayang Song, Zhehua Zhou, Yuheng Huang, Da Song, and Lei Ma, Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward, IEEE Transactions on Artificial Intelligence.

2.          Zhehua Zhou, Xuan Xie, Jiayang Song, Zhan Shu, and Lei Ma, GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model, IEEE Transactions on Neural Networks and Learning Systems, vol. 36, no. 6, pp. 10678-10692, June 2025. (JCR Q1, CCF-B)

3.          Da Song*, Xuan Xie*, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, and Lei Ma, LUNA: A Model-Based Universal Analysis Framework for Large Language Models, IEEE Transactions on Software Engineering, vol. 50, no. 7, pp. 1921-1948, Jul. 2024. (JCR Q1, CCF-A)

4.          Zhehua Zhou*, Jiayang Song*, Xuan Xie*, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, and Simon See, Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation, Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP ’24), pp. 263–274, 2024. (CCF-A)

5.          Jiayang Song, Xuan Xie, and Lei Ma, SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems, IEEE Transactions on Software Engineering, vol. 49, no. 8, pp. 4058-4080, Aug. 2023. (JCR Q1, CCF-A)

6.          Xuan Xie, Fuyuan Zhang, Xinwen Hu, and Lei Ma, DeepGemini: Verifying Dependency Fairness for Deep Neural Network, Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 2023), pp. 15251-15259, 2023. (CCF-A)

7.          Igor Khmelnitsky*, Daniel Neider*, Rajarshi Roy*, Xuan Xie*, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker and Lina Ye, Analysis of Recurrent Neural Networks via Property-directed Verification of Surrogate Models, International Journal on Software Tools for Technology Transfer, 341–354, 2023. (CCF-C)

8.          Xuan Xie, Kristian Kersting, and Daniel Neider, Neuro-Symbolic Verification of Deep Neural Networks, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022), pp. 3622-3628, 2022. (CCF-A)

9.          Igor Khmelnitsky*, Daniel Neider*, Rajarshi Roy*, Xuan Xie*, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker and Lina Ye, Property-Directed Verification and Robustness Certification of Recurrent Neural Networks, Automated Technology for Verification and Analysis, vol 12971, 2021. (CCF-C)

10.      Zhenya Zhang, Paolo Arcaini, Xuan Xie, Online Reset for Signal Temporal Logic Monitoring, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, no. 11, pp. 4421-4432, Nov. 2022. (JCR Q2, CCF-A)

11.      Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, and Zhendong Su, Exploring and Exploiting the Correlations between Bug-inducing and Bug-fixing Commits, Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019), pp. 326–337, 2019. (CCF-A)

12.      Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, and Zhendong Su, Exposing Library API Misuses via Mutation Analysis, Proceedings of 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE 2019), pp. 866-877, 2019. (CCF-A)

Professional Certification and Awards

Floyd Derkat Graduate Award in Artificial Intelligence and Machine Learning in 2024.

Professional Society Membership

Member, IEEE

Member, ACM