Ruize Tang

According to our database, Ruize Tang authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency.

Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma

Proceedings of the 2025 USENIX Annual Technical Conference, 2025

Multi-Grained Specifications for Distributed System Model Checking and Verification.

Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu

Proceedings of the Twentieth European Conference on Computer Systems, 2025

2024

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration.

Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma

Proceedings of the Nineteenth European Conference on Computer Systems, 2024