@inproceedings{ruize:atc:25,
   author = {Ruize Tang and Minghua Wang and Xudong Sun and Lin Huang and Yu Huang and Xiaoxing Ma},
   title = "{Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency}",
   booktitle = "Proceedings of the 2025 USENIX Annual Technical Conference (ATC'25)",
   month = JUL,
   year =  2025,
}