{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:23:41Z","timestamp":1773840221513,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"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":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236030","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"539-550","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["An empirical study on crash recovery bugs in large-scale distributed systems"],"prefix":"10.1145","author":[{"given":"Yu","family":"Gao","sequence":"first","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wensheng","family":"Dou","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Qin","sequence":"additional","affiliation":[{"name":"Ohio State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chushu","family":"Gao","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Wei","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruirui","family":"Huang","sequence":"additional","affiliation":[{"name":"Alibaba Group, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Zhou","sequence":"additional","affiliation":[{"name":"Alibaba Group, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongming","family":"Wu","sequence":"additional","affiliation":[{"name":"Alibaba Group, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI). 151\u2013167","author":"Alagappan Ramnatthan","unstructured":"Ramnatthan Alagappan , Aishwarya Ganesan , Yuvraj Patel , Thanumalayan Sankaranarayana Pillai , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2016. Correlated Crash Vulnerabilities . In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI). 151\u2013167 . Ramnatthan Alagappan, Aishwarya Ganesan, Yuvraj Patel, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2016. Correlated Crash Vulnerabilities. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI). 151\u2013167."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2723711"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267308.1267332"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1365815.1365816"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IC2E.2018.00022"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of 6th Symposium on Operating Systems Design and Implementation (OSDI). 137\u2013149","author":"Dean Jeffrey","year":"2004","unstructured":"Jeffrey Dean and Sanjay Ghemawat . 2004 . MapReduce: Simplified Data Processing on Large Clusters . In Proceedings of 6th Symposium on Operating Systems Design and Implementation (OSDI). 137\u2013149 . Jeffrey Dean and Sanjay Ghemawat. 2004. MapReduce: Simplified Data Processing on Large Clusters. In Proceedings of 6th Symposium on Operating Systems Design and Implementation (OSDI). 137\u2013149."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064183"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 15th Usenix Conference on File and Storage Technologies (FAST). 149\u2013165","author":"Ganesan Aishwarya","year":"2017","unstructured":"Aishwarya Ganesan , Ramnatthan Alagappan , Andrea C Arpaci-dusseau, and Remzi H Arpaci-dusseau. 2017 . Redundancy Does Not Imply Fault Tolerance: Analysis of Distributed Storage Reactions to Single Errors and Corruptions . In Proceedings of the 15th Usenix Conference on File and Storage Technologies (FAST). 149\u2013165 . Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C Arpaci-dusseau, and Remzi H Arpaci-dusseau. 2017. Redundancy Does Not Imply Fault Tolerance: Analysis of Distributed Storage Reactions to Single Errors and Corruptions. In Proceedings of the 15th Usenix Conference on File and Storage Technologies (FAST). 149\u2013165."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945450"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI). 238\u2013252","author":"Gunawi Haryadi S.","year":"2011","unstructured":"Haryadi S. Gunawi , Thanh Do , Pallavi Joshi , Peter Alvaro , Joseph M. Hellerstein , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , Koushik Sen , and Dhruba Borthakur . 2011 . FATE and DESTINI: A Framework for Cloud Recovery Testing . In Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI). 238\u2013252 . Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, and Dhruba Borthakur. 2011. FATE and DESTINI: A Framework for Cloud Recovery Testing. In Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI). 238\u2013252."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 8th USENIX Symposium on Operating System Design and Implementation (OSDI). 131\u2013146","author":"Gunawi Haryadi S","year":"2008","unstructured":"Haryadi S Gunawi , Abhishek Rajimwale , Andrea C Arpaci-dusseau, and Remzi H Arpaci-dusseau. 2008 . SQCK\u202f: A Declarative File System Checker . In Proceedings of the 8th USENIX Symposium on Operating System Design and Implementation (OSDI). 131\u2013146 . Haryadi S Gunawi, Abhishek Rajimwale, Andrea C Arpaci-dusseau, and Remzi H Arpaci-dusseau. 2008. SQCK\u202f: A Declarative File System Checker. In Proceedings of the 8th USENIX Symposium on Operating System Design and Implementation (OSDI). 131\u2013146."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of 14th Workshop on Hot Topics in Operating Systems (HotOS). 1\u20136.","author":"Guo Zhenyu","year":"2013","unstructured":"Zhenyu Guo , Sean Mcdirmid , Mao Yang , Li Zhuang , Pu Zhang , and Yingwei Luo . 2013 . Failure Recovery: When the Cure is Worse Than the Disease . In Proceedings of 14th Workshop on Hot Topics in Operating Systems (HotOS). 1\u20136. Zhenyu Guo, Sean Mcdirmid, Mao Yang, Li Zhuang, Pu Zhang, and Yingwei Luo. 2013. Failure Recovery: When the Cure is Worse Than the Disease. In Proceedings of 14th Workshop on Hot Topics in Operating Systems (HotOS). 1\u20136."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems. 66\u201378","author":"Hayashibara N.","unstructured":"N. Hayashibara , X. Defago , R. Yared , and T. Katayama . 2004. The \u03d5 accrual failure detector . In Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems. 66\u201378 . N. Hayashibara, X. Defago, R. Yared, and T. Katayama. 2004. The \u03d5 accrual failure detector. In Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems. 66\u201378."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI). 295\u2013308","author":"Hindman Benjamin","year":"2011","unstructured":"Benjamin Hindman , Andy Konwinski , Matei Zaharia , Ali Ghodsi , Anthony D. Joseph , Randy Katz , Scott Shenker , and Ion Stoica . 2011 . Mesos: A Platform for Fine-grained Resource Sharing in the Data Center . In Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI). 295\u2013308 . Benjamin Hindman, Andy Konwinski, Matei Zaharia, Ali Ghodsi, Anthony D. Joseph, Randy Katz, Scott Shenker, and Ion Stoica. 2011. Mesos: A Platform for Fine-grained Resource Sharing in the Data Center. In Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI). 295\u2013308."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the USENIX Conference on USENIX Annual Technical Conference (USENIX ATC). 11\u201311","author":"Hunt Patrick","year":"2010","unstructured":"Patrick Hunt , Mahadev Konar , Flavio P. Junqueira , and Benjamin Reed . 2010 . ZooKeeper: Wait-free Coordination for Internet-scale Systems . In Proceedings of the USENIX Conference on USENIX Annual Technical Conference (USENIX ATC). 11\u201311 . Patrick Hunt, Mahadev Konar, Flavio P. Junqueira, and Benjamin Reed. 2010. ZooKeeper: Wait-free Coordination for Internet-scale Systems. In Proceedings of the USENIX Conference on USENIX Annual Technical Conference (USENIX ATC). 11\u201311."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2524211.2524217"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048082"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837648"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523633"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 399\u2013414","author":"Leesatapornwongsa Tanakorn","year":"2014","unstructured":"Tanakorn Leesatapornwongsa , Mingzhe Hao , Pallavi Joshi , Jeffrey F Lukman , and Haryadi S Gunawi . 2014 . SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 399\u2013414 . Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F Lukman, and Haryadi S Gunawi. 2014. SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 399\u2013414."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837622"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037735"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177161"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 423\u2013437","author":"Liu Xuezheng","year":"2008","unstructured":"Xuezheng Liu , Zhenyu Guo , Xi Wang , Feibo Chen , Xiaochen Lian , Jian Tang , Ming Wu , M. Frans Kaashoek , and Zheng Zhang . 2008 . D3S: Debugging Deployed Distributed Systems . In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 423\u2013437 . Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, and Zheng Zhang. 2008. D3S: Debugging Deployed Distributed Systems. In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 423\u2013437."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236071"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 433\u2013448","author":"Pillaic Thanumalayan Sankaranarayana","unstructured":"Thanumalayan Sankaranarayana Pillaic , Vijay Chidambaram , Ramnatthan Alagappan , Samer Al-Kiswany , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2014. All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 433\u2013448 . Thanumalayan Sankaranarayana Pillaic, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2014. All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 433\u2013448."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 291\u2013309","author":"Scott Colin","year":"2016","unstructured":"Colin Scott , Aurojit Panda , Arvind Krishnamurthy , Vjekoslav Brajkovic , George Necula , and Scott Shenker . 2016 . Minimizing Faulty Executions of Distributed Systems . In Proceedings of 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 291\u2013309 . Colin Scott, Aurojit Panda, Arvind Krishnamurthy, Vjekoslav Brajkovic, George Necula, and Scott Shenker. 2016. Minimizing Faulty Executions of Distributed Systems. In Proceedings of 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 291\u2013309."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693017_25"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.26"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 6th USENIX symposium on Networked systems design and implementation (NSDI). 213\u2013228","author":"Yang Junfeng","year":"2009","unstructured":"Junfeng Yang , Tisheng Chen , Ming Wu , Zhilei Xu , Xuezheng Liu , Haoxiang Lin , Mao Yang , Fan Long , Lintao Zhang , and Lidong Zhou . 2009 . MODIST: ESEC\/FSE\u201918, November 4\u20139, 2018, Lake Buena Vista, FL, USA Yu Gao et al. Transparent Model Checking of Unmodified Distributed Systems . In Proceedings of the 6th USENIX symposium on Networked systems design and implementation (NSDI). 213\u2013228 . Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. 2009. MODIST: ESEC\/FSE\u201918, November 4\u20139, 2018, Lake Buena Vista, FL, USA Yu Gao et al. Transparent Model Checking of Unmodified Distributed Systems. In Proceedings of the 6th USENIX symposium on Networked systems design and implementation (NSDI). 213\u2013228."},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings ofthe Sixth Symposium on Operating Systems Design and Implementation (OSDI). 273\u2013 288","author":"Yang Junfeng","year":"2004","unstructured":"Junfeng Yang , Paul Twohey , Dawson Engler , and Madanlal Musuvathi . 2004 . Using Model Checking to Find Serious File System Errors . In Proceedings ofthe Sixth Symposium on Operating Systems Design and Implementation (OSDI). 273\u2013 288 . Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. 2004. Using Model Checking to Find Serious File System Errors. In Proceedings ofthe Sixth Symposium on Operating Systems Design and Implementation (OSDI). 273\u2013 288."},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 249\u2013265","author":"Yuan Ding","year":"2014","unstructured":"Ding Yuan , Yu Luo , Xin Zhuang , Guilherme Renna Rodrigues , Xu Zhao , Yongle Zhang , Pranay U. Jain , and Michael Stumm . 2014 . Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 249\u2013265 . Ding Yuan, Yu Luo, Xin Zhuang, Guilherme Renna Rodrigues, Xu Zhao, Yongle Zhang, Pranay U. Jain, and Michael Stumm. 2014. Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI). 249\u2013265."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685083"},{"key":"e_1_3_2_1_45_1","unstructured":"Apache Cassandra. Retrieved from http:\/\/cassandra.apache.org.  Apache Cassandra. Retrieved from http:\/\/cassandra.apache.org."},{"key":"e_1_3_2_1_46_1","unstructured":"Apache Flume Project. Retrieved from http:\/\/flume.apache.org.  Apache Flume Project. Retrieved from http:\/\/flume.apache.org."},{"key":"e_1_3_2_1_47_1","unstructured":"Apache Hadoop. Retrieved from http:\/\/hadoop.apache.org.  Apache Hadoop. Retrieved from http:\/\/hadoop.apache.org."},{"key":"e_1_3_2_1_48_1","unstructured":"Apache HBase. Retrieved from http:\/\/hadoop.apache.org\/hbase.  Apache HBase. Retrieved from http:\/\/hadoop.apache.org\/hbase."},{"key":"e_1_3_2_1_49_1","unstructured":"Apache ZooKeeper. Retrieved from http:\/\/zookeeper.apache.org.  Apache ZooKeeper. Retrieved from http:\/\/zookeeper.apache.org."},{"key":"e_1_3_2_1_50_1","unstructured":"Chaos Monkey. Retrieved from https:\/\/github.com\/Netflix\/SimianArmy\/wiki\/Chaos-Monkey.  Chaos Monkey. Retrieved from https:\/\/github.com\/Netflix\/SimianArmy\/wiki\/Chaos-Monkey."},{"key":"e_1_3_2_1_51_1","unstructured":"Dafny is a verification-aware programming language. Retrieved from https:\/\/github.com\/Microsoft\/dafny.  Dafny is a verification-aware programming language. Retrieved from https:\/\/github.com\/Microsoft\/dafny."},{"key":"e_1_3_2_1_52_1","unstructured":"Fault Injection Framework and Development Guide. Retrieved from https:\/\/hadoop.apache.org\/docs\/r2.7.2\/hadoop-project-dist\/hadoophdfs\/FaultInjectFramework.html.  Fault Injection Framework and Development Guide. Retrieved from https:\/\/hadoop.apache.org\/docs\/r2.7.2\/hadoop-project-dist\/hadoophdfs\/FaultInjectFramework.html."},{"key":"e_1_3_2_1_53_1","unstructured":"FIT\n  : Failure Injection Testing. Retrieved from https:\/\/medium.com\/netflixtechblog\/fit-failure-injection-testing-35d8e2a9bb2.  FIT: Failure Injection Testing. Retrieved from https:\/\/medium.com\/netflixtechblog\/fit-failure-injection-testing-35d8e2a9bb2."},{"key":"e_1_3_2_1_54_1","unstructured":"HDFS Architecture. Retrieved from http:\/\/hadoop.apache.org\/%0Adocs\/current\/hadoop-project-dist\/hadoop-hdfs\/ HdfsDesign.html.  HDFS Architecture. Retrieved from http:\/\/hadoop.apache.org\/%0Adocs\/current\/hadoop-project-dist\/hadoop-hdfs\/ HdfsDesign.html."},{"key":"e_1_3_2_1_55_1","unstructured":"HintedHandoff.\n   Retrieved from https:\/\/wiki.apache.org\/cassandra\/HintedHandoff. \n  2016\n  . The 10 Biggest Cloud Outages of 2016. \n  Retrieved\n   from http:\/\/www.crn.com\/slide-shows\/cloud\/300083247\/the-10-biggest-cloudoutages-of-2016.htm. 2017. The 10 Biggest Cloud Outages of 2017 (So Far). Retrieved from http:\/\/www.crn.com\/slide-shows\/cloud\/300089786\/the-10-biggest-cloudoutages-of-2017-so-far.htm.  HintedHandoff. Retrieved from https:\/\/wiki.apache.org\/cassandra\/HintedHandoff. 2016. The 10 Biggest Cloud Outages of 2016. Retrieved from http:\/\/www.crn.com\/slide-shows\/cloud\/300083247\/the-10-biggest-cloudoutages-of-2016.htm. 2017. The 10 Biggest Cloud Outages of 2017 (So Far). Retrieved from http:\/\/www.crn.com\/slide-shows\/cloud\/300089786\/the-10-biggest-cloudoutages-of-2017-so-far.htm."},{"key":"e_1_3_2_1_56_1","unstructured":"The Coq Proof Assistant. Retrieved from https:\/\/coq.inria.fr\/.  The Coq Proof Assistant. Retrieved from https:\/\/coq.inria.fr\/."},{"key":"e_1_3_2_1_57_1","unstructured":"Write Ahead Log (WAL). Retrieved from http:\/\/hbase.apache.org\/book.html#wal.  Write Ahead Log (WAL). Retrieved from http:\/\/hbase.apache.org\/book.html#wal."}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236030","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:25Z","timestamp":1750208245000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":57,"alternative-id":["10.1145\/3236024.3236030","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236030","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}