Xudong Sun 0013, Lalith Suresh, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lilia Tang, Tianyin Xu. Reasoning about modern datacenter infrastructures using partial histories. In Sebastian Angel, Baris Kasikci, Eddie Kohler, editors, HotOS '21: Workshop on Hot Topics in Operating Systems, Ann Arbor, Michigan, USA, June, 1-3, 2021. pages 213-220, ACM, 2021. [doi]
Abstract is missing.