{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:40:02Z","timestamp":1750210802781,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T00:00:00Z","timestamp":1557705600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,5,13]]},"DOI":"10.1145\/3317550.3321444","type":"proceedings-article","created":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T19:01:58Z","timestamp":1557514918000},"page":"45-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Synthesizing Cluster Management Code for Distributed Systems"],"prefix":"10.1145","author":[{"given":"Lalith","family":"Suresh","sequence":"first","affiliation":[{"name":"VMware"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o","family":"Loff","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior T\u00e9cnico, U. Lisboa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Narodytska","sequence":"additional","affiliation":[{"name":"VMware"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonid","family":"Ryzhyk","sequence":"additional","affiliation":[{"name":"VMware"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[{"name":"VMware"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Oki","sequence":"additional","affiliation":[{"name":"VMware"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,5,13]]},"reference":[{"unstructured":"Kubernetes. http:\/\/github.com\/kubernetes\/kubernetes.  Kubernetes. http:\/\/github.com\/kubernetes\/kubernetes.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1755913.1755937"},{"key":"e_1_3_2_1_3_1","first-page":"1","volume-title":"Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12) (San Jose","author":"Balakrishnan M.","year":"2012","unstructured":"Balakrishnan , M. , Malkhi , D. , Prabhakaran , V. , Wobbler , T. , Wei , M. , and Davis , J. D . Corfu: A shared log design for flash clusters . In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12) (San Jose , CA, 2012 ), USENIX , pp. 1 -- 14 . Balakrishnan, M., Malkhi, D., Prabhakaran, V., Wobbler, T., Wei, M., and Davis, J. D. Corfu: A shared log design for flash clusters. In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12) (San Jose, CA, 2012), USENIX, pp. 1--14."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/1230960.1230966"},{"key":"e_1_3_2_1_5_1","first-page":"12","volume-title":"Proceedings of the 9th Conference on Hot Topics in Operating Systems -","volume":"9","author":"Candea G.","year":"2003","unstructured":"Candea , G. , and Fox , A . Crash-only software . In Proceedings of the 9th Conference on Hot Topics in Operating Systems - Volume 9 (Berkeley, CA, USA, 2003 ), HOTOS'03, USENIX Association , pp. 12 -- 12 . Candea, G., and Fox, A. Crash-only software. In Proceedings of the 9th Conference on Hot Topics in Operating Systems - Volume 9 (Berkeley, CA, USA, 2003), HOTOS'03, USENIX Association, pp. 12--12."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/502034.502042"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/INFCOM.2011.5934917"},{"key":"e_1_3_2_1_9_1","first-page":"239","volume-title":"Proceedings of USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Gunawi H. S.","year":"2011","unstructured":"Gunawi , H. S. , Do , T. , Joshi , P. , Alvaro , P. , Hellerstein , J. M. , Arpaci-Dusseau , A. C. , Arpaci-Dusseau , R. H. , Sen , K. , and Borthakur , D . Fate and destini: A framework for cloud recovery testing . In Proceedings of USENIX Symposium on Networked Systems Design and Implementation (NSDI) ( 2011 ), p. 239 . Gunawi, H. S., Do, T., Joshi, P., Alvaro, P., Hellerstein, J. M., Arpaci-Dusseau, A. C., Arpaci-Dusseau, R. H., Sen, K., and Borthakur, D. Fate and destini: A framework for cloud recovery testing. In Proceedings of USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2011), p. 239."},{"key":"e_1_3_2_1_10_1","volume-title":"Presented as part of the 14th Workshop on Hot Topics in Operating Systems (Berkeley","author":"Guo Z.","year":"2013","unstructured":"Guo , Z. , McDirmid , S. , Yang , M. , Zhuang , L. , Zhang , P. , Luo , Y. , Bergan , T. , Musuvathi , M. , Zhang , Z. , and Zhou , L . Failure recovery: When the cure is worse than the disease . In Presented as part of the 14th Workshop on Hot Topics in Operating Systems (Berkeley , CA, 2013 ), USENIX. Guo, Z., McDirmid, S., Yang, M., Zhuang, L., Zhang, P., Luo, Y., Bergan, T., Musuvathi, M., Zhang, Z., and Zhou, L. Failure recovery: When the cure is worse than the disease. In Presented as part of the 14th Workshop on Hot Topics in Operating Systems (Berkeley, CA, 2013), USENIX."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1629575.1629601"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/NGI.2010.5534462"},{"key":"e_1_3_2_1_13_1","volume-title":"Pod priorities and preemption. https:\/\/kubernetes.io\/docs\/concepts\/configuration\/pod-priority-preemption\/","author":"Kubernetes","year":"2018","unstructured":"Kubernetes . Pod priorities and preemption. https:\/\/kubernetes.io\/docs\/concepts\/configuration\/pod-priority-preemption\/ , 2018 . Kubernetes. Pod priorities and preemption. https:\/\/kubernetes.io\/docs\/concepts\/configuration\/pod-priority-preemption\/, 2018."},{"key":"e_1_3_2_1_14_1","volume-title":"Let's remove ServiceAffinity. https:\/\/groups.google.com\/forum\/#!topic\/kubernetes-sig-scheduling\/ewz4TYJgL0M","author":"Kubernetes","year":"2018","unstructured":"Kubernetes mailing list. Let's remove ServiceAffinity. https:\/\/groups.google.com\/forum\/#!topic\/kubernetes-sig-scheduling\/ewz4TYJgL0M , 2018 . Kubernetes mailing list. Let's remove ServiceAffinity. https:\/\/groups.google.com\/forum\/#!topic\/kubernetes-sig-scheduling\/ewz4TYJgL0M, 2018."},{"key":"e_1_3_2_1_15_1","first-page":"15","volume-title":"LISA","volume":"5","author":"Narain S.","year":"2005","unstructured":"Narain , S. , Network configuration management via model finding . In LISA ( 2005 ), vol. 5 , pp. 15 -- 15 . Narain, S., et al. Network configuration management via model finding. In LISA (2005), vol. 5, pp. 15--15."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/2901318.2901355"}],"event":{"sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"acronym":"HotOS '19","name":"HotOS '19: Workshop on Hot Topics in Operating Systems","location":"Bertinoro Italy"},"container-title":["Proceedings of the Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3317550.3321444","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3317550.3321444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:27Z","timestamp":1750208547000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3317550.3321444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,13]]},"references-count":15,"alternative-id":["10.1145\/3317550.3321444","10.1145\/3317550"],"URL":"https:\/\/doi.org\/10.1145\/3317550.3321444","relation":{},"subject":[],"published":{"date-parts":[[2019,5,13]]},"assertion":[{"value":"2019-05-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}