Synthesizing Cluster Management Code for Distributed Systems. - Lalith Suresh 001; João Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki (HotOS, 2019)

Automating Cluster Management with Weave. - Lalith Suresh 001; João Loff; Faria Kalim; Nina Narodytska; Leonid Ryzhyk; Sahan Gamage; Brian Oki; Zeeshan Lokhandwala; Mukesh Hira; Mooly Sagiv (CoRR, 2019)

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)