Lingzhi Ouyang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2023–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 |
| 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 |
| 2023 | SETTA | Leveraging TLA | Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma |