| Automatic reliability testing for cluster management controllers X Sun, W Luo, JT Gu, A Ganesan, R Alagappan, M Gasch, L Suresh, T Xu 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022 | 17 | 2022 |
| Acto: Automatic end-to-end testing for operation correctness of cloud system management JT Gu, X Sun, W Zhang, Y Jiang, C Wang, M Vaziri, O Legunsen, T Xu Proceedings of the 29th Symposium on Operating Systems Principles, 96-112, 2023 | 5 | 2023 |
| Anvil: Verifying Liveness of Cluster Management Controllers X Sun, W Ma, JT Gu, Z Ma, T Chajed, J Howell, A Lattuada, O Padon, ... | 1 | |
| Anvil: Building Kubernetes Controllers That Do Not Break X Sun, JT Gu, C Rivera, T Chajed, J Howell, A Lattuada, O Padon, ... | | |
