%0 Conference Paper %1 conf/hotos/SureshLNRSO19 %A Suresh, Lalith %A Loff, João %A Narodytska, Nina %A Ryzhyk, Leonid %A Sagiv, Mooly %A Oki, Brian %B HotOS %D 2019 %I ACM %K dblp %P 45-50 %T Synthesizing Cluster Management Code for Distributed Systems. %U http://dblp.uni-trier.de/db/conf/hotos/hotos2019.html#SureshLNRSO19 %@ 978-1-4503-6727-1

@inproceedings{conf/hotos/SureshLNRSO19, added-at = {2019-05-29T00:00:00.000+0200}, author = {Suresh, Lalith and Loff, João and Narodytska, Nina and Ryzhyk, Leonid and Sagiv, Mooly and Oki, Brian}, biburl = {https://www.bibsonomy.org/bibtex/29d4cd06f9533a6fbab0d1f0f37a8961f/dblp}, booktitle = {HotOS}, crossref = {conf/hotos/2019}, ee = {https://doi.org/10.1145/3317550.3321444}, interhash = {67e8bf685fcf06bc4e77e78fbeda57d3}, intrahash = {9d4cd06f9533a6fbab0d1f0f37a8961f}, isbn = {978-1-4503-6727-1}, keywords = {dblp}, pages = {45-50}, publisher = {ACM}, timestamp = {2019-05-30T11:48:32.000+0200}, title = {Synthesizing Cluster Management Code for Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2019.html#SureshLNRSO19}, year = 2019 }