About me

I am a fourth-year PhD candidate at the Department of Computer Science and Engineering, Hong Kong University of Science and Technology, supervised by Prof. Shuai Wang. I am now visiting the Advanced Software Technologies (AST) Lab at ETH Zurich, advised by Prof. Zhendong Su. Before joining HKUST, I received my B.Eng. degree from Zhejiang University, Hangzhou, China in 2021.

My research currently focuses on Software Engineering.

Education

Ph.D. Hong Kong University of Science and Technology Sept 2021 - Now

B.E. in Computer Science and Technology, Zhejiang University Sept 2017 - June 2021

Publications

ICSE 2025

Testing and Understanding Deviation Behaviors in FHE-hardened Machine Learning Models
Yiteng Peng, Daoyuan Wu, Zhibo Liu, Dongwei Xiao, Zhenlan Ji, Juergen Rahmel, and Shuai Wang
The IEEE/ACM International Conference on Software Engineering, 2025.

NDSS 2025

MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers
Dongwei Xiao, Zhibo Liu, Yiteng Peng, and Shuai Wang
The Network and Distributed System Security Symposium, 2025.

FSE 2024

Metamorphic Testing of Secure Multi-Party Computation (MPC) Compilers [Code]
Yichen Li, Dongwei Xiao, Zhibo Liu, Qi Pang, and Shuai Wang
The ACM International Conference on the Foundations of Software Engineering, 2024.

ASE 2023

PHYFU: Fuzzing Modern Physics Simulation Engines [Code]
Dongwei Xiao, Zhibo Liu, Shuai Wang.
The 38th IEEE/ACM International Conference on Automated Software Engineering.
🏆 ACM SIGSOFT Distinguished Paper Award

ISSTA 2023

Exploring Missed Optimizations in WebAssembly Optimizers
Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang, Wei Meng.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis.

ICSE 2023

Metamorphic Shader Fusion for Testing Graphics Shader Compilers
Dongwei Xiao, Zhibo Liu, Shuai Wang.
Proceedings of the 45th International Conference on Software Engineering.

SIGMETRICS, 2022

Metamorphic Testing of Deep Learning Compilers [Code]
Dongwei Xiao, Zhibo Liu, Yuanyuan Yuan, Qi Pang, and Shuai Wang.
Proceedings of the ACM on Measurement and Analysis of Computing Systems, 2022.

Services

Artifact Evaluation Committee:

2023: USENIX Security
2022: ISSTA, OSDI, USENIX ATC

Teaching

Teaching Assistant for COMP 3632: Principles of Cybersecurity (HKUST, Fall 2024)
Teaching Assistant for COMP 2011: Programming with C++ (HKUST, Fall 2022)

Awards & Honors

2024 HKUST RedBird Academic Excellence Award

2023 HKUST RedBird Academic Excellence Award

2022 Student Grant for SIGMETRICS 2022

The latest update is in November 2024