Brian Oki
AuthID: R-00J-21E
1
TÃTULO: Synthesizing Cluster Management Code for Distributed Systems
AUTORES: Lalith Suresh; Joao Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki;
PUBLICAÇÃO: 2019, FONTE: Workshop on Hot Topics in Operating Systems (HotOS) in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)
AUTORES: Lalith Suresh; Joao Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki;
PUBLICAÇÃO: 2019, FONTE: Workshop on Hot Topics in Operating Systems (HotOS) in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)
INDEXADO EM: 
Scopus 
WOS
Scopus WOS