{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T23:36:10Z","timestamp":1770420970188,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":78,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T00:00:00Z","timestamp":1553472000000},"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,3,25]]},"DOI":"10.1145\/3302424.3303972","type":"proceedings-article","created":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T13:10:03Z","timestamp":1553260203000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Grapple"],"prefix":"10.1145","author":[{"given":"Zhiqiang","family":"Zuo","sequence":"first","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University"}]},{"given":"John","family":"Thorpe","sequence":"additional","affiliation":[{"name":"UCLA"}]},{"given":"Yifei","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University"}]},{"given":"Qiuhong","family":"Pan","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University"}]},{"given":"Shenming","family":"Lu","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University"}]},{"given":"Kai","family":"Wang","sequence":"additional","affiliation":[{"name":"UCLA"}]},{"given":"Guoqing Harry","family":"Xu","sequence":"additional","affiliation":[{"name":"UCLA"}]},{"given":"Linzhang","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"State Key Lab for Novel Software Technology, Nanjing University"}]}],"member":"320","published-online":{"date-parts":[[2019,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251543"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/2733085.2733096"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368118"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297050"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1717752.1717758"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.15"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08) . USENIX Association, Berkeley, CA, USA, 209--224. http:\/\/dl.acm.org\/citation.cfm?id= 1855741.1855756 Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08). USENIX Association, Berkeley, CA, USA, 209--224. http:\/\/dl.acm.org\/citation.cfm?id=1855741.1855756"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250789"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_14_1","volume-title":"Counterexample-Guided Abstraction Refinement","author":"Clarke Edmund","unstructured":"Edmund Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , and Helmut Veith . 2000. Counterexample-Guided Abstraction Refinement . In Computer Aided Verification, E. Allen Emerson and Aravinda Prasad Sistla (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 154--169. Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. 2000. Counterexample-Guided Abstraction Refinement. In Computer Aided Verification, E. Allen Emerson and Aravinda Prasad Sistla (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 154--169."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040025.89719.f3"},{"key":"e_1_3_2_1_16_1","unstructured":"Coverity. 2012. The Coverity Code Checker. http:\/\/www.coverity.com\/.  Coverity. 2012. The Coverity Code Checker. http:\/\/www.coverity.com\/."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375615"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146254"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 4th Conference on USENIX Windows Systems Symposium -","volume":"4","author":"Justin","unstructured":"Justin E. Forrester and Barton P. Miller. 2000. An Empirical Study of the Robustness of Windows NT Applications Using Random Testing . In Proceedings of the 4th Conference on USENIX Windows Systems Symposium - Volume 4 (WSS'00). USENIX Association, Berkeley, CA, USA, 6--6. http:\/\/dl.acm.org\/citation.cfm?id=1267102.1267108 Justin E. Forrester and Barton P. Miller. 2000. An Empirical Study of the Robustness of Windows NT Applications Using Random Testing. In Proceedings of the 4th Conference on USENIX Windows Systems Symposium - Volume 4 (WSS'00). USENIX Association, Berkeley, CA, USA, 6--6. http:\/\/dl.acm.org\/citation.cfm?id=1267102.1267108"},{"key":"e_1_3_2_1_23_1","unstructured":"Apache Software Foundation. 2018. Apache Cassandra. http:\/\/cassandra.apache.org\/.  Apache Software Foundation. 2018. Apache Cassandra. http:\/\/cassandra.apache.org\/."},{"key":"e_1_3_2_1_24_1","unstructured":"Apache Software Foundation. 2018. Apache Hadoop. http:\/\/hadoop.apache.org\/.  Apache Software Foundation. 2018. Apache Hadoop. http:\/\/hadoop.apache.org\/."},{"key":"e_1_3_2_1_25_1","unstructured":"Apache Software Foundation. 2018. Apache HBase. https:\/\/hbase.apache.org\/.  Apache Software Foundation. 2018. Apache HBase. https:\/\/hbase.apache.org\/."},{"key":"e_1_3_2_1_26_1","unstructured":"Apache Software Foundation. 2018. Apache Spark. https:\/\/spark.apache.org\/.  Apache Software Foundation. 2018. Apache Spark. https:\/\/spark.apache.org\/."},{"key":"e_1_3_2_1_27_1","unstructured":"Linux Foundation. 2018. Linux. https:\/\/www.linux.org\/.  Linux Foundation. 2018. Linux. https:\/\/www.linux.org\/."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12)","author":"Gonzalez Joseph E.","year":"2012","unstructured":"Joseph E. Gonzalez , Yucheng Low , Haijie Gu , Danny Bickson , and Carlos Guestrin . 2012 . PowerGraph: Distributed Graph-parallel Computation on Natural Graphs . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12) . USENIX Association, Berkeley, CA, USA, 17--30. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387883 Joseph E. Gonzalez, Yucheng Low, Haijie Gu, Danny Bickson, and Carlos Guestrin. 2012. PowerGraph: Distributed Graph-parallel Computation on Natural Graphs. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12). USENIX Association, Berkeley, CA, USA, 17--30. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387883"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14)","author":"Gonzalez Joseph E.","year":"2014","unstructured":"Joseph E. Gonzalez , Reynold S. Xin , Ankur Dave , Daniel Crankshaw , Michael J. Franklin , and Ion Stoica . 2014 . GraphX: Graph Processing in a Distributed Dataflow Framework . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14) . USENIX Association, Berkeley, CA, USA, 599--613. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685096 Joseph E. Gonzalez, Reynold S. Xin, Ankur Dave, Daniel Crankshaw, Michael J. Franklin, and Ion Stoica. 2014. GraphX: Graph Processing in a Distributed Dataflow Framework. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14). USENIX Association, Berkeley, CA, USA, 599--613. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685096"},{"key":"e_1_3_2_1_31_1","unstructured":"GrammaTech. 2012. The GrammaTech CodeSonar Static Checker. https:\/\/www.grammatech.com\/products\/codesonar.  GrammaTech. 2012. The GrammaTech CodeSonar Static Checker. https:\/\/www.grammatech.com\/products\/codesonar."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC'10)","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 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC'10) . USENIX Association, Berkeley, CA, USA, 11--11. http:\/\/dl.acm.org\/citation.cfm?id= 1855840.1855851 Patrick Hunt, Mahadev Konar, Flavio P. Junqueira, and Benjamin Reed. 2010. ZooKeeper: Wait-free Coordination for Internet-scale Systems. In Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC'10). USENIX Association, Berkeley, CA, USA, 11--11. http:\/\/dl.acm.org\/citation.cfm?id=1855840.1855851"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486877"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_38_1","unstructured":"KlocWork. 2015. The KlocWork Static Checker. https:\/\/www.klocwork.com\/products-services\/klocwork.  KlocWork. 2015. The KlocWork Static Checker. https:\/\/www.klocwork.com\/products-services\/klocwork."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760289"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12)","author":"Kyrola Aapo","year":"2012","unstructured":"Aapo Kyrola , Guy Blelloch , and Carlos Guestrin . 2012 . GraphChi: Large-scale Graph Computation on Just a PC . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12) . USENIX Association, Berkeley, CA, USA, 31--46. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387884 Aapo Kyrola, Guy Blelloch, and Carlos Guestrin. 2012. GraphChi: Large-scale Graph Computation on Just a PC. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12). USENIX Association, Berkeley, CA, USA, 31--46. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387884"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250766"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14)","author":"Leesatapornwongsa Tanakorn","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'14) . USENIX Association, Berkeley, CA, USA, 399--414. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685080 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'14). USENIX Association, Berkeley, CA, USA, 399--414. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685080"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the 2013 International Conference on Software Engineering (ICSE '13)","author":"Lewis Chris","unstructured":"Chris Lewis , Zhongpeng Lin , Caitlin Sadowski , Xiaoyan Zhu , Rong Ou , and E. James Whitehead Jr . 2013. Does Bug Prediction Support Human Developers? Findings from a Google Case Study . In Proceedings of the 2013 International Conference on Software Engineering (ICSE '13) . IEEE Press, Piscataway, NJ, USA, 372--381. http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486838 Chris Lewis, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, and E. James Whitehead Jr. 2013. Does Bug Prediction Support Human Developers? Findings from a Google Case Study. In Proceedings of the 2013 International Conference on Software Engineering (ICSE '13). IEEE Press, Piscataway, NJ, USA, 372--381. http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486838"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486921"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation. 289--302","author":"Li Zhenmin","year":"2004","unstructured":"Zhenmin Li , Shan Lu , Suvda Myagmar , and Yuanyuan Zhou . 2004 . CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code . In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation. 289--302 . Zhenmin Li, Shan Lu, Suvda Myagmar, and Yuanyuan Zhou. 2004. CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation. 289--302."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181314"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212354"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_52_1","unstructured":"Mozilla. 2018. Firefox. https:\/\/www.mozilla.org\/en-US\/firefox\/.  Mozilla. 2018. Firefox. https:\/\/www.mozilla.org\/en-US\/firefox\/."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950401"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_55_1","unstructured":"William Pugh. 2015. The FindBugs Java Static Checker. http:\/\/findbugs.sourceforge.net\/.  William Pugh. 2015. The FindBugs Java Static Checker. http:\/\/findbugs.sourceforge.net\/."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.29"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522740"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_61_1","unstructured":"M. Sharir and A. Pnueli. 1981. Two Approaches to Interprocedural Data Flow Analysis. In Program Flow Analysis: Theory and Applications S. Muchnick and N. Jones (Eds.). 189--234.  M. Sharir and A. Pnueli. 1981. Two Approaches to Interprocedural Data Flow Analysis. In Program Flow Analysis: Theory and Applications S. Muchnick and N. Jones (Eds.). 189--234."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925818"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037744"},{"key":"e_1_3_2_1_68_1","volume-title":"2015 USENIX Annual Technical Conference (USENIX ATC 15)","author":"Wang Kai","year":"2015","unstructured":"Kai Wang , Guoqing Xu , Zhendong Su , and Yu David Liu . 2015 . GraphQ: Graph Query Processing with Abstraction Refinement---Scalable and Programmable Analytics over Very Large Graphs on a Single PC . In 2015 USENIX Annual Technical Conference (USENIX ATC 15) . 387--401. Kai Wang, Guoqing Xu, Zhendong Su, and Yu David Liu. 2015. GraphQ: Graph Query Processing with Abstraction Refinement---Scalable and Programmable Analytics over Very Large Graphs on a Single PC. In 2015 USENIX Annual Technical Conference (USENIX ATC 15). 387--401."},{"key":"e_1_3_2_1_69_1","volume-title":"RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Wang Kai","year":"2018","unstructured":"Kai Wang , Zhiqiang Zuo , John Thorpe , Tien Quang Nguyen , and Guoqing Harry Xu . 2018 . RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18) . Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, and Guoqing Harry Xu. 2018. RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_6"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189259"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043572"},{"key":"e_1_3_2_1_76_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14)","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'14) . USENIX Association, Berkeley, CA, USA, 249--265. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685068 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'14). USENIX Association, Berkeley, CA, USA, 249--265. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685068"},{"key":"e_1_3_2_1_77_1","volume-title":"Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC '15). USENIX Association","author":"Zhu Xiaowei","year":"2015","unstructured":"Xiaowei Zhu , Wentao Han , and Wenguang Chen . 2015 . GridGraph: Large-scale Graph Processing on a Single Machine Using 2-level Hierarchical Partitioning . In Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC '15). USENIX Association , Berkeley, CA, USA, 375--386. http:\/\/dl.acm.org\/citation.cfm?id=2813767.2813795 Xiaowei Zhu, Wentao Han, and Wenguang Chen. 2015. GridGraph: Large-scale Graph Processing on a Single Machine Using 2-level Hierarchical Partitioning. In Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC '15). USENIX Association, Berkeley, CA, USA, 375--386. http:\/\/dl.acm.org\/citation.cfm?id=2813767.2813795"},{"key":"e_1_3_2_1_78_1","volume-title":"Linzhang Wang, and Xuandong Li.","author":"Zuo Zhiqiang","year":"2019","unstructured":"Zhiqiang Zuo , John Thorpe , Yifei Wang , Qiuhong Pan , Shenming Lu , Kai Wang , Guoqing Harry Xu , Linzhang Wang, and Xuandong Li. 2019 . The Confirmed Bug Lists . https:\/\/drive.google.com\/file\/d\/1Xx6eO2_HMxm2SThz5sU9cT0a2Zx5fSN9\/view?usp=sharing. Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, and Xuandong Li. 2019. The Confirmed Bug Lists. https:\/\/drive.google.com\/file\/d\/1Xx6eO2_HMxm2SThz5sU9cT0a2Zx5fSN9\/view?usp=sharing."}],"event":{"name":"EuroSys '19: Fourteenth EuroSys Conference 2019","location":"Dresden Germany","acronym":"EuroSys '19","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Fourteenth EuroSys Conference 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302424.3303972","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302424.3303972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:49Z","timestamp":1750208509000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302424.3303972"}},"subtitle":["A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code"],"short-title":[],"issued":{"date-parts":[[2019,3,25]]},"references-count":78,"alternative-id":["10.1145\/3302424.3303972","10.1145\/3302424"],"URL":"https:\/\/doi.org\/10.1145\/3302424.3303972","relation":{},"subject":[],"published":{"date-parts":[[2019,3,25]]},"assertion":[{"value":"2019-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}