@inproceedings{tang:eurosys:24,
   author = {Ruize Tang and Xudong Sun and Yu Huang and Yuyang Wei and Lingzhi Ouyang and Xiaoxing Ma},
   title = "{SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration}",
   booktitle = "Proceedings of the 19th European Conference on Computer Systems (EuroSys'24)",
   month = APR,
   year =  2024,
}