Ruize Tang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2024–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EuroSys | Multi-Grained Specifications for Distributed System Model Checking and Verification. | Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu |
| 2025 | USENIX | Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency. | Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma |
| 2024 | EuroSys | SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. | Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma |