Brian Oki
AuthID: R-00J-21E
1
TITLE: Synthesizing Cluster Management Code for Distributed Systems
AUTHORS: Lalith Suresh; Joao Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki;
PUBLISHED: 2019, SOURCE: Workshop on Hot Topics in Operating Systems (HotOS) in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)
AUTHORS: Lalith Suresh; Joao Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki;
PUBLISHED: 2019, SOURCE: Workshop on Hot Topics in Operating Systems (HotOS) in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)
INDEXED IN: Scopus WOS