{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:05Z","timestamp":1750307465032,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:00:00Z","timestamp":1280275200000},"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":[[2010,7,28]]},"DOI":"10.1145\/1859184.1859187","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T12:04:33Z","timestamp":1285157073000},"page":"7-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Fault prediction in distributed systems gone wild"],"prefix":"10.1145","author":[{"given":"Marco","family":"Canini","sequence":"first","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejan","family":"Novakovi\u0107","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vojin","family":"Jovanovi\u0107","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejan","family":"Kosti\u0107","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"}}How To Build A Cybernuke. http:\/\/www.renesys.com\/blog\/2010\/04\/how-to-build-a-cybernuke.shtml.  }}How To Build A Cybernuke. http:\/\/www.renesys.com\/blog\/2010\/04\/how-to-build-a-cybernuke.shtml."},{"key":"e_1_3_2_1_2_1","unstructured":"}}Juniper seen regaining core router share in 2008. http:\/\/www.reuters.com\/article\/idUSN1333533920070613.  }}Juniper seen regaining core router share in 2008. http:\/\/www.reuters.com\/article\/idUSN1333533920070613."},{"key":"e_1_3_2_1_3_1","unstructured":"}}Pakistan hijacks YouTube. http:\/\/www.renesys.com\/blog\/2008\/02\/pakistan_hijacks_youtube_1.shtml.  }}Pakistan hijacks YouTube. http:\/\/www.renesys.com\/blog\/2008\/02\/pakistan_hijacks_youtube_1.shtml."},{"key":"e_1_3_2_1_4_1","unstructured":"}}Staring Into The Gorge: Router Exploits. http:\/\/www.renesys.com\/blog\/2009\/08\/staring-into-the-gorge.shtml.  }}Staring Into The Gorge: Router Exploits. http:\/\/www.renesys.com\/blog\/2009\/08\/staring-into-the-gorge.shtml."},{"key":"e_1_3_2_1_5_1","first-page":"850","volume-title":"Proceedings of the twenty-third Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM '04)","author":"Amini Lisa","year":"2004","unstructured":"}} Lisa Amini , Anees Shaikh , and Henning Schulzrinne . Effective Peering for Multi-provider Content Delivery Services . In Proceedings of the twenty-third Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM '04) , pages 850 -- 861 , Hong Kong , March 2004 . }}Lisa Amini, Anees Shaikh, and Henning Schulzrinne. Effective Peering for Multi-provider Content Delivery Services. In Proceedings of the twenty-third Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM '04), pages 850--861, Hong Kong, March 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_7_1","volume-title":"Xenofontas Dimitropoulos. SEPIA: Privacy-Preserving Aggregation of Multi-Domain Network Events and Statistics. In Proceedings of the 19th USENIX Security Symposium","author":"Burkhart Martin","year":"2010","unstructured":"}} Martin Burkhart , Mario Strasser , Dilip Many , and Xenofontas Dimitropoulos. SEPIA: Privacy-Preserving Aggregation of Multi-Domain Network Events and Statistics. In Proceedings of the 19th USENIX Security Symposium , Washington, DC , August 2010 . }}Martin Burkhart, Mario Strasser, Dilip Many, and Xenofontas Dimitropoulos. SEPIA: Privacy-Preserving Aggregation of Multi-Domain Network Events and Statistics. In Proceedings of the 19th USENIX Security Symposium, Washington, DC, August 2010."},{"key":"e_1_3_2_1_9_1","first-page":"209","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08)","author":"Cadar Cristian","year":"2008","unstructured":"}} Cristian Cadar , Daniel Dunbar , and Dawson R. Engler . Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08) , pages 209 -- 224 , San Diego, CA , December 2008 . }}Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08), pages 209--224, San Diego, CA, December 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"volume-title":"Cohen. Incentives Build Robustness in BitTorrent. In Proceedings of the First Workshop on the Economics of Peer-to-Peer Systems","year":"2003","key":"e_1_3_2_1_11_1","unstructured":"}}Bram Cohen. Incentives Build Robustness in BitTorrent. In Proceedings of the First Workshop on the Economics of Peer-to-Peer Systems , Berkeley, CA , June 2003 . }}Bram Cohen. Incentives Build Robustness in BitTorrent. In Proceedings of the First Workshop on the Economics of Peer-to-Peer Systems, Berkeley, CA, June 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945459"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250755"},{"key":"e_1_3_2_1_15_1","volume-title":"Critical Transition: Finding Liveness Bugs in Systems Code. In Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI '07)","author":"Killian Charles E.","year":"2007","unstructured":"}} Charles E. Killian , James W. Anderson , Ranjit Jhala , and Amin Vahdat . Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI '07) , Cambridge, MA , April 2007 . }}Charles E. Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI '07), Cambridge, MA, April 2007."},{"volume-title":"Machiraju and Randy H. Katz. Verifying Global Invariants in MultiProvider Distributed Systems. In Proceedings of the Third Workshop on Hot Topics in Networks (HotNets-III)","year":"2004","key":"e_1_3_2_1_16_1","unstructured":"}}Sridhar Machiraju and Randy H. Katz. Verifying Global Invariants in MultiProvider Distributed Systems. In Proceedings of the Third Workshop on Hot Topics in Networks (HotNets-III) , San Diego, CA , November 2004 . }}Sridhar Machiraju and Randy H. Katz. Verifying Global Invariants in MultiProvider Distributed Systems. In Proceedings of the Third Workshop on Hot Topics in Networks (HotNets-III), San Diego, CA, November 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217964"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1670679.1670680"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09)","author":"Yabandeh Maysam","year":"2009","unstructured":"}} Maysam Yabandeh , Nikola Kne\u017eevi\u0107 , Dejan Kosti\u0107 , and Viktor Kuncak . Crystalball : Predicting and preventing inconsistencies in deployed distributed systems . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09) , Boston, MA , April 2009 . }}Maysam Yabandeh, Nikola Kne\u017eevi\u0107, Dejan Kosti\u0107, and Viktor Kuncak. Crystalball: Predicting and preventing inconsistencies in deployed distributed systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09), Boston, MA, April 2009."},{"key":"e_1_3_2_1_23_1","volume-title":"Lidong Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09)","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. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09) , Boston, MA , April 2009 . }}Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09), Boston, MA, April 2009."}],"event":{"name":"PODC '10: ACM Symposium on Principles of Distributed Computing","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Z\u00fcrich Switzerland","acronym":"PODC '10"},"container-title":["Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1859184.1859187","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1859184.1859187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:31Z","timestamp":1750248511000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1859184.1859187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,28]]},"references-count":21,"alternative-id":["10.1145\/1859184.1859187","10.1145\/1859184"],"URL":"https:\/\/doi.org\/10.1145\/1859184.1859187","relation":{},"subject":[],"published":{"date-parts":[[2010,7,28]]},"assertion":[{"value":"2010-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}