BibTeX record conf/hotos/SureshLNRSO19

download as .bib file

@inproceedings{DBLP:conf/hotos/SureshLNRSO19,
  author    = {Lalith Suresh and
               Jo{\~{a}}o Loff and
               Nina Narodytska and
               Leonid Ryzhyk and
               Mooly Sagiv and
               Brian Oki},
  title     = {Synthesizing Cluster Management Code for Distributed Systems},
  booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS
               2019, Bertinoro, Italy, May 13-15, 2019},
  pages     = {45--50},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3317550.3321444},
  doi       = {10.1145/3317550.3321444},
  timestamp = {Wed, 29 May 2019 13:40:46 +0200},
  biburl    = {https://dblp.org/rec/conf/hotos/SureshLNRSO19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics