{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T15:18:24Z","timestamp":1783610304477,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":33,"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.3321438","type":"proceedings-article","created":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T19:01:58Z","timestamp":1557514918000},"page":"155-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["What bugs cause production cloud incidents?"],"prefix":"10.1145","author":[{"given":"Haopeng","family":"Liu","sequence":"first","affiliation":[{"name":"University of Chicago"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shan","family":"Lu","sequence":"additional","affiliation":[{"name":"University of Chicago"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Madan","family":"Musuvathi","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suman","family":"Nath","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,5,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/docs.microsoft.com\/en-us\/azure\/service-fabric\/service-fabric-testability-overview","author":"Introduction","year":"2017","unstructured":"Introduction to the fault analysis service. https:\/\/docs.microsoft.com\/en-us\/azure\/service-fabric\/service-fabric-testability-overview , 2017 . Introduction to the fault analysis service. https:\/\/docs.microsoft.com\/en-us\/azure\/service-fabric\/service-fabric-testability-overview, 2017."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/azure.microsoft.com\/en-us\/services\/service-fabric\/","author":"Azure","year":"2019","unstructured":"Azure service fabric. https:\/\/azure.microsoft.com\/en-us\/services\/service-fabric\/ , 2019 . Azure service fabric. https:\/\/azure.microsoft.com\/en-us\/services\/service-fabric\/, 2019."},{"key":"e_1_3_2_1_3_1","volume-title":"OSDI","author":"Alagappan Ramnatthan","year":"2016","unstructured":"Ramnatthan Alagappan , Aishwarya Ganesan , Yuvraj Patel , Thanumalayan Sankaranarayana Pillai , Andrea C Arpaci-Dusseau , and Remzi H Arpaci-Dusseau . Correlated crash vulnerabilities . In OSDI , 2016 . Ramnatthan Alagappan, Aishwarya Ganesan, Yuvraj Patel, Thanumalayan Sankaranarayana Pillai, Andrea C Arpaci-Dusseau, and Remzi H Arpaci-Dusseau. Correlated crash vulnerabilities. In OSDI, 2016."},{"key":"e_1_3_2_1_4_1","volume-title":"ICSE","author":"Atlidakis Vaggelis","year":"2019","unstructured":"Vaggelis Atlidakis , Patrice Godefroid , and Marina Polishchuk . Restler : Stateful rest api fuzzing . In ICSE , 2019 . Vaggelis Atlidakis, Patrice Godefroid, and Marina Polishchuk. Restler: Stateful rest api fuzzing. In ICSE, 2019."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14977-6_2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486805"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009895"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_11_1","volume-title":"Recent aws outage and how you could have avoided downtime. https:\/\/medium.com\/@datapath;o\/recent-aws-outage-and-how-you-could-have-avoided-downtime-7d9d9443d776","year":"2017","unstructured":"Datapath.io. Recent aws outage and how you could have avoided downtime. https:\/\/medium.com\/@datapath;o\/recent-aws-outage-and-how-you-could-have-avoided-downtime-7d9d9443d776 , 2017 . Datapath.io. Recent aws outage and how you could have avoided downtime. https:\/\/medium.com\/@datapath;o\/recent-aws-outage-and-how-you-could-have-avoided-downtime-7d9d9443d776, 2017."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"e_1_3_2_1_13_1","volume-title":"Why do computers stop and what can be done about it? Tandem Technical report 85.7","author":"Gray Jim","year":"1985","unstructured":"Jim Gray . Why do computers stop and what can be done about it? Tandem Technical report 85.7 , 1985 . Jim Gray. Why do computers stop and what can be done about it? Tandem Technical report 85.7, 1985."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987583"},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation, OSDI '18","author":"Huang Peng","year":"2018","unstructured":"Peng Huang , Chuanxiong Guo , Jacob R. Lorch , Lidong Zhou , and Yingnong Dang . Capturing and enhancing in situ system observability for failure detection . In 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI '18 , pages 1 -- 16 , Carlsbad, CA , October 2018 . USENIX Association. Peng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, and Yingnong Dang. Capturing and enhancing in situ system observability for failure detection. In 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI '18, pages 1--16, Carlsbad, CA, October 2018. USENIX Association."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3102980.3103005"},{"key":"e_1_3_2_1_18_1","unstructured":"Leslie Lamport. The tla+ home page. http:\/\/lamport.azurewebsites.net\/tla\/tla.html 2018.  Leslie Lamport. The tla+ home page. http:\/\/lamport.azurewebsites.net\/tla\/tla.html 2018."},{"key":"e_1_3_2_1_19_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Leesatapornwongsa Tanakorn","year":"2014","unstructured":"Tanakorn Leesatapornwongsa , Mingzhe Hao , Pallavi Joshi , Jeffrey F. Lukman , and Haryadi S. Gunawi . SAMC: semantic-aware model checking for fast discovery of deep bugs in cloud systems . In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI) , 2014 . Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, and Haryadi S. Gunawi. SAMC: semantic-aware model checking for fast discovery of deep bugs in cloud systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2014."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3102980.3102985"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037735"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177161"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591272.2591276"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_26_1","unstructured":"IHS Markit. Businesses losing $700 billion a year to it downtime says ihs. http:\/\/news.ihsmarkit.com\/press-release\/technology\/businesses-losing-700-billion-year-it-downtime-says-ihs 2016.  IHS Markit. Businesses losing $700 billion a year to it downtime says ihs. http:\/\/news.ihsmarkit.com\/press-release\/technology\/businesses-losing-700-billion-year-it-downtime-says-ihs 2016."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_1_28_1","volume-title":"USITS","author":"Oppenheimer David","year":"2003","unstructured":"David Oppenheimer , Archana Ganapathi , and David A. Patterson . Why do internet services fail, and what can be done about it ? In USITS , 2003 . David Oppenheimer, Archana Ganapathi, and David A. Patterson. Why do internet services fail, and what can be done about it? In USITS, 2003."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950401"},{"key":"e_1_3_2_1_30_1","unstructured":"TLA Whence. Leslie lamport: The specification language tla+.  TLA Whence. Leslie lamport: The specification language tla+."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522727"},{"key":"e_1_3_2_1_32_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Yuan Ding","year":"2014","unstructured":"Ding Yuan , Yu Luo , Xin Zhuang , Guilherme Renna Rodrigues , Xu Zhao , Yongle Zhang , Pranay Jain , and Michael Stumm . Simple testing can prevent most critical failures: An analysis of production failures in distributed data-intensive systems . In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI) , 2014 . Ding Yuan, Yu Luo, Xin Zhuang, Guilherme Renna Rodrigues, Xu Zhao, Yongle Zhang, Pranay Jain, and Michael Stumm. Simple testing can prevent most critical failures: An analysis of production failures in distributed data-intensive systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2014."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132768"}],"event":{"name":"HotOS '19: Workshop on Hot Topics in Operating Systems","location":"Bertinoro Italy","acronym":"HotOS '19","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3317550.3321438","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3317550.3321438","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.3321438"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,13]]},"references-count":33,"alternative-id":["10.1145\/3317550.3321438","10.1145\/3317550"],"URL":"https:\/\/doi.org\/10.1145\/3317550.3321438","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"}}]}}