Synthesizing Cluster Management Code for Distributed Systems.

Lalith Suresh, Joo Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki

Browse the full HotOS paper archive.