Publications

2023

  1. Automatic Testing for Correct Operations of Cloud Systems
    Jiawei Tyler Gu, Xudong Sun, Yuxuan Jiang, and 4 more authors
    In Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP’23), Koblenz, Germany, Oct 2023