Ruize Tang

According to our database, Ruize Tang authored at least 1 paper in 2024.

Collaborative distances:

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

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