• EuroSys ‘25: Multi-Grained Specifications for Distributed System Model Checking and Verification, Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, and Tianyin Xu [pdf]