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

• Web Technology

• Software Engineering

• Artificial Intelligence

Research Area

• Large Language Model-based Agent

• Trustworthy Large Language Model

• Reinforcement Learning

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, 2027

• Journal Reviewer:

• IEEE Transactions on Software Engineering (TSE)

• IEEE Transactions on Reliability (TR)

• Empirical Software Engineering (EMSE)

• Automated Software Engineering (AuSE)

• Journal of Systems and Software (JSS)

Working Experience

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

Academic Publication (selected)

(* indicates joint first author)

1. Xie Xuan, Lei Ma, Marvel: Effective AI-Enabled Cyber-Physical System Falsification Guided by Novelty Detection. IEEE Transactions on Reliability, 2026. (JCR Q1)

2. Wenbin He, Jintong Li, Xian Tang, Yinqi Chen, Zhuorui Pan, Xuan Xie, ... & Chuangting Lin (2026). Improved beetle antennae search algorithm-optimized machine learning model for predicting methane production in anaerobic digestion. Energy, 141377. (JCR Q1)

3. Xie Xuan, Song Jiayang, Zhou Zhehua, Fuyuan Zhang, Lei Ma, Mosaic: model-based safety analysis for AI-enabled cyber physical system. Empirical Software Engineering, 2026, 31(3): 67. (JCR Q1)

4. Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Felix Juefei-Xu, Lei Ma, Lecov: Multi-level testing criteria for large language models. Journal of Systems and Software, 2025: 112763. (JCR Q1)

5. 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, 2026.

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

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

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

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

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

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

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

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

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

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

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