Xuan Xie

Ph.D Student
University of Alberta

E-mail: xxie9[at]ualberta[dot]ca
[Google Scholar]
Study as if you were to live forever, live as if you were to die tomorrow

About

Education

Research Interests

  • Trustworthiness Analysis for Large Language Model (Trustworthy LLM) [TSE'24, arxiv'24a]

Publication

Internship

  • Research Intern on Robotics Arm in Nvidia Omniverse Isaac Sim, Sycodal, Montreal, Canada, Jan 2023 – Mar 2023
  • Visiting Student, Southern University of Science and Technology, Shenzhen, China, December 2018 – August 2019, Supervisor: Prof. Yepang Liu and Prof. Ming Wen
  • Research Intern, The Hong Kong University of Science and Technology, Hong Kong, China, August 2018 – November 2018, Supervisor: Prof. Shing-Chi CHEUNG, Prof. Yepang Liu and Prof. Ming Wen

Talk

  • ICSE 2024: SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems

  • ICSE 2024: Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation

  • AAAI 2023: DeepGemini: Verifying Dependency Fairness for Deep Neural Network

  • IJCAI 2022: Neuro-Symbolic Verification of Deep Neural Networks

  • ATVA 2021: Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

  • HIGHLIGHT 2021: Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

  • LWDA 2021: Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

Service

  • Journal Reviewer

      IEEE Transactions on Software Engineering, IEEE Transactions on Reliability

  • Conference Reviewer/PC member

      2025: AAAI 2025, ICLR 2025, NDSS 2025 Artifact Evaluation PC, ICSE 2025 Artifact Evaluation PC

      2024: ISSTA 2024 Artifact Evaluation PC, IROS 2024, KDD 2024, IJCAI 2024, SDM 2024, AAAI 2024, ICLR 2024, MM 2024, NEURIPS 2024

      2023: KDD 2023, NeurIPS 2023

  • Student Volunteer

      EMSOFT 2022, Hybrid; ISSTA 2019, Beijing, China

Teaching

  • UAlberta 2024 Fall

      ECE 322 Software Testing and Maintenance Engineering, ECE 405 Biophysical Measurement and Instrumentation

  • UAlberta 2024 Winter

      ECE 220 Programming for Electrical Engineering, CMPUT 361 Introduction to Information Retrieval

  • UAlberta 2023 Fall

      ECE 322 Software Testing and Maintenance Engineering, ECE 405 Biophysical Measurement and Instrumentation