Building Scalable and Flexible Cluster Managers Using Declarative Programming. - Lalith Suresh 001; João Loff; Faria Kalim; Sangeetha Abdu Jyothi; Nina Narodytska; Leonid Ryzhyk; Sahan Gamage; Brian Oki; Pranshu Jain; Michael Gasch (OSDI, 2020)

Reasoning about modern datacenter infrastructures using partial histories. - Xudong Sun 013; Lalith Suresh 001; Aishwarya Ganesan; Ramnatthan Alagappan; Michael Gasch; Lilia Tang; Tianyin Xu (HotOS, 2021)

Automatic Reliability Testing For Cluster Management Controllers. - Xudong Sun 013; Wenqing Luo; Jiawei Tyler Gu; Aishwarya Ganesan; Ramnatthan Alagappan; Michael Gasch; Lalith Suresh 001; Tianyin Xu (OSDI, 2022)