[ACM Press the Workshop - Bertinoro, Italy (2019.05.13-2019.05.15)] Proceedings of the Workshop on Hot Topics in Operating Systems - HotOS '19 - Synthesizing Cluster Management Code for Distributed Systems
Suresh, Lalith, Loff, João, Narodytska, Nina, Ryzhyk, Leonid, Sagiv, Mooly, Oki, BrianYear:
2019
Language:
english
DOI:
10.1145/3317550.3321444
File:
PDF, 718 KB
english, 2019