SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. - Ruize Tang; Xudong Sun 013; Yu Huang 002; Yuyang Wei; Lingzhi Ouyang; Xiaoxing Ma (EuroSys, 2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification. - Lingzhi Ouyang; Xudong Sun 013; Ruize Tang; Yu Huang 002; Madhav Jivrajani; Xiaoxing Ma; Tianyin Xu (EuroSys, 2025)

Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency. - Ruize Tang; Minghua Wang; Xudong Sun 013; Lin Huang; Yu Huang 002; Xiaoxing Ma (USENIX ATC, 2025)