Jiawei Tyler Gu

According to our database, Jiawei Tyler Gu authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Anvil: Verifying Liveness of Cluster Management Controllers.

Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2023

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management.

Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

2022

Automatic Reliability Testing For Cluster Management Controllers.

Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, Tianyin Xu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022