Login / Signup
Jiawei Tyler Gu
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Information Management
Clustering Algorithm
Similar Objects
Service Delivery
Top Venues
OSDI
SOSP
</>
Publications
</>
Xudong Sun
,
Wenjie Ma
,
Jiawei Tyler Gu
,
Zicheng Ma
,
Tej Chajed
,
Jon Howell
,
Andrea Lattuada
,
Oded Padon
,
Lalith Suresh
,
Adriana Szekeres
,
Tianyin Xu
Anvil: Verifying Liveness of Cluster Management Controllers.
OSDI
(2024)
Jiawei Tyler Gu
,
Xudong Sun
,
Wentao Zhang
,
Yuxuan Jiang
,
Chen Wang
,
Mandana Vaziri
,
Owolabi Legunsen
,
Tianyin Xu
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management.
SOSP
(2023)
Xudong Sun
,
Wenqing Luo
,
Jiawei Tyler Gu
,
Aishwarya Ganesan
,
Ramnatthan Alagappan
,
Michael Gasch
,
Lalith Suresh
,
Tianyin Xu
Automatic Reliability Testing For Cluster Management Controllers.
OSDI
(2022)