Login / Signup
Andrea Lattuada
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Reinforcement Learning
Decision Support
Data Objects
Information Management
Top Venues
OSDI
</>
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)