{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T00:35:17Z","timestamp":1785285317108,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":70,"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.3236071","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"3-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["CloudRaid: hunting concurrency bugs in the cloud via log-mining"],"prefix":"10.1145","author":[{"given":"Jie","family":"Lu","sequence":"first","affiliation":[{"name":"Institute of Computing Technology at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Feng","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology at Chinese Academy of Sciences, China \/ Institute of Information Engineering at Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lian","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaobing","family":"Feng","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018.  2018."},{"key":"e_1_3_2_1_2_1","unstructured":"Google Protocol Buffer. (2018).  Google Protocol Buffer. (2018)."},{"key":"e_1_3_2_1_3_1","volume-title":"2018 from https: \/\/developers.google.com\/protocolbuffers\/","author":"Retrieved April","year":"2018","unstructured":"Retrieved April 26 , 2018 from https: \/\/developers.google.com\/protocolbuffers\/ . 2018 . Retrieved April 26, 2018 from https: \/\/developers.google.com\/protocolbuffers\/. 2018."},{"key":"e_1_3_2_1_4_1","unstructured":"WALA Home page. (2018).  WALA Home page. (2018)."},{"key":"e_1_3_2_1_5_1","unstructured":"Retrieved April 26 2018 from http:\/\/wala. sourceforge.net\/wiki\/index.php\/Main_Page\/.  Retrieved April 26 2018 from http:\/\/wala. sourceforge.net\/wiki\/index.php\/Main_Page\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094091.2094101"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"e_1_3_2_1_8_1","unstructured":"Dhruba Borthakur et al. 2008. HDFS architecture guide. Hadoop Apache Project 53 (2008).  Dhruba Borthakur et al. 2008. HDFS architecture guide. Hadoop Apache Project 53 (2008)."},{"key":"e_1_3_2_1_9_1","unstructured":"Michael Chow David Meisner Jason Flinn Daniel Peek and Thomas F Wenisch. 2014. The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services.. In OSDI. 217\u2013231.   Michael Chow David Meisner Jason Flinn Daniel Peek and Thomas F Wenisch. 2014. The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services.. In OSDI. 217\u2013231."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_11_1","unstructured":"Florin Dinu and TS Ng. 2012.  Florin Dinu and TS Ng. 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134015"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2388996.2389102"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542490"},{"key":"e_1_3_2_1_15_1","unstructured":"Qiang Fu Jian-Guang Lou Yi Wang and Jiang Li. 2009.  Qiang Fu Jian-Guang Lou Yi Wang and Jiang Li. 2009."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2009.60"},{"key":"e_1_3_2_1_17_1","unstructured":"Erich Gamma. 1995.  Erich Gamma. 1995."},{"key":"e_1_3_2_1_18_1","unstructured":"Design patterns: elements of reusable object-oriented software. Pearson Education India.  Design patterns: elements of reusable object-oriented software. Pearson Education India."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236030"},{"key":"e_1_3_2_1_20_1","unstructured":"Lars George. 2011.  Lars George. 2011."},{"key":"e_1_3_2_1_21_1","volume-title":"the definitive guide: random access to your planet-size data. \" O\u2019Reilly Media","unstructured":"HBase : the definitive guide: random access to your planet-size data. \" O\u2019Reilly Media , Inc .\". HBase: the definitive guide: random access to your planet-size data. \" O\u2019Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of NSDI\u00e2\u0102\u017911: 8th USENIX Symposium on Networked Systems Design and Implementation. 239","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 NSDI\u00e2\u0102\u017911: 8th USENIX Symposium on Networked Systems Design and Implementation. 239 . 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 NSDI\u00e2\u0102\u017911: 8th USENIX Symposium on Networked Systems Design and Implementation. 239."},{"key":"e_1_3_2_1_23_1","unstructured":"Haryadi S Gunawi Thanh Do Pallavi Joshi Joseph M Hellerstein Andrea C Arpaci-Dusseau Remzi H Arpaci-Dusseau and Koushik Sen. 2010.  Haryadi S Gunawi Thanh Do Pallavi Joshi Joseph M Hellerstein Andrea C Arpaci-Dusseau Remzi H Arpaci-Dusseau and Koushik Sen. 2010."},{"key":"e_1_3_2_1_24_1","unstructured":"Towards Automatically Checking Thousands of Failures with Micro-specifications.. In HotDep.  Towards Automatically Checking Thousands of Failures with Micro-specifications.. In HotDep."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_26_1","unstructured":"Huayang Guo Ming Wu Lidong Zhou Gang Hu Junfeng Yang and Lintao Zhang. 2011.  Huayang Guo Ming Wu Lidong Zhou Gang Hu Junfeng Yang and Lintao Zhang. 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 14th USENIX Conference on Hot Topics in Operating Systems (HotOS\u201913)","author":"Guo Zhenyu","year":"2013","unstructured":"Zhenyu Guo , Sean McDirmid , Mao Yang , Li Zhuang , Pu Zhang , Yingwei Luo , Tom Bergan , Peter Bodik , Madan Musuvathi , Zheng Zhang , and Lidong Zhou . 2013 . Failure Recovery: When the Cure is Worse Than the Disease . In Proceedings of the 14th USENIX Conference on Hot Topics in Operating Systems (HotOS\u201913) . USENIX Association, Berkeley, CA, USA, 8\u20138. http:\/\/dl.acm.org\/citation.cfm? id=2490483.2490491 Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodik, Madan Musuvathi, Zheng Zhang, and Lidong Zhou. 2013. Failure Recovery: When the Cure is Worse Than the Disease. In Proceedings of the 14th USENIX Conference on Hot Topics in Operating Systems (HotOS\u201913). USENIX Association, Berkeley, CA, USA, 8\u20138. http:\/\/dl.acm.org\/citation.cfm? id=2490483.2490491"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594330"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2524211.2524217"},{"key":"e_1_3_2_1_31_1","unstructured":"Pallavi Joshi Haryadi S Gunawi and Koushik Sen. 2011.  Pallavi Joshi Haryadi S Gunawi and Koushik Sen. 2011."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048082"},{"key":"e_1_3_2_1_33_1","volume-title":"Kyung Dong Ryu, and Dilma Da Silva","author":"Ju Xiaoen","year":"2013","unstructured":"Xiaoen Ju , Livio Soares , Kang G Shin , Kyung Dong Ryu, and Dilma Da Silva . 2013 . Xiaoen Ju, Livio Soares, Kang G Shin, Kyung Dong Ryu, and Dilma Da Silva. 2013."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523622"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2011.11"},{"key":"e_1_3_2_1_37_1","unstructured":"Charles Killian James W Anderson Ranjit Jhala and Amin Vahdat. 2007. Life death and the critical transition: Finding liveness bugs in systems code. NSDI.   Charles Killian James W Anderson Ranjit Jhala and Amin Vahdat. 2007. Life death and the critical transition: Finding liveness bugs in systems code. NSDI."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_3_2_1_39_1","volume-title":"SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems.. In 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 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 OSDI. 399\u2013414."},{"key":"e_1_3_2_1_40_1","volume-title":"Gunawi","author":"Leesatapornwongsa Tanakorn","year":"2016","unstructured":"Tanakorn Leesatapornwongsa , Jeffrey F. Lukman , Shan Lu , and Haryadi S . Gunawi . 2016 . Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, and Haryadi S. Gunawi. 2016."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025160"},{"key":"e_1_3_2_1_43_1","unstructured":"Lian Li Cristina Cifuentes and Nathan Keynes. 2013.  Lian Li Cristina Cifuentes and Nathan Keynes. 2013."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491894.2466483"},{"key":"e_1_3_2_1_45_1","unstructured":"Haoxiang Lin Mao Yang Fan Long Lintao Zhang and Lidong Zhou. 2009.  Haoxiang Lin Mao Yang Fan Long Lintao Zhang and Lidong Zhou. 2009."},{"key":"e_1_3_2_1_46_1","volume-title":"6th USENIX Symposium on Networked Systems Design & Implementation (NSDI).","author":"MODIST","unstructured":"MODIST : Transparent model checking of unmodified distributed systems . In 6th USENIX Symposium on Networked Systems Design & Implementation (NSDI). MODIST: Transparent model checking of unmodified distributed systems. In 6th USENIX Symposium on Networked Systems Design & Implementation (NSDI)."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037735"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1740390.1740411"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1835804.1835883"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168917.1168864"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1816038.1815988"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/2228298.2228334"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_54_1","unstructured":"Jiri Simsa Randal E Bryant and Garth Gibson. 2010. dBug: systematic evaluation of distributed systems. USENIX.   Jiri Simsa Randal E Bryant and Garth Gibson. 2010. dBug: systematic evaluation of distributed systems. USENIX."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950296"},{"key":"e_1_3_2_1_56_1","unstructured":"Jiaqi Tan Soila Kavulya Rajeev Gandhi and Priya Narasimhan. 2010.  Jiaqi Tan Soila Kavulya Rajeev Gandhi and Priya Narasimhan. 2010."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.63"},{"key":"e_1_3_2_1_58_1","first-page":"6","article-title":"SALSA: Analyzing Logs as StAte Machines","volume":"8","author":"Tan Jiaqi","year":"2008","unstructured":"Jiaqi Tan , Xinghao Pan , Soila Kavulya , Rajeev Gandhi , and Priya Narasimhan . 2008 . SALSA: Analyzing Logs as StAte Machines . WASL 8 (2008), 6 \u2013 6 . Jiaqi Tan, Xinghao Pan, Soila Kavulya, Rajeev Gandhi, and Priya Narasimhan. 2008. SALSA: Analyzing Logs as StAte Machines. WASL 8 (2008), 6\u20136.","journal-title":"WASL"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062360"},{"key":"e_1_3_2_1_60_1","unstructured":"3062360  3062360"},{"key":"e_1_3_2_1_61_1","unstructured":"Hadoop Team. 2018. Fault Injection framework. (2018).  Hadoop Team. 2018. Fault Injection framework. (2018)."},{"key":"e_1_3_2_1_62_1","volume-title":"Owen O\u2019Malley, Sanjay Radia, Benjamin Reed, and Eric Baldeschwieler.","author":"Vavilapalli Vinod Kumar","year":"2013","unstructured":"Vinod Kumar Vavilapalli , Arun C. Murthy , Chris Douglas , Sharad Agarwal , Mahadev Konar , Robert Evans , Thomas Graves , Jason Lowe , Hitesh Shah , Siddharth Seth , Bikas Saha , Carlo Curino , Owen O\u2019Malley, Sanjay Radia, Benjamin Reed, and Eric Baldeschwieler. 2013 . Vinod Kumar Vavilapalli, Arun C. Murthy, Chris Douglas, Sharad Agarwal, Mahadev Konar, Robert Evans, Thomas Graves, Jason Lowe, Hitesh Shah, Siddharth Seth, Bikas Saha, Carlo Curino, Owen O\u2019Malley, Sanjay Radia, Benjamin Reed, and Eric Baldeschwieler. 2013."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523633"},{"key":"e_1_3_2_1_64_1","unstructured":"Wei Xu Ling Huang Armando Fox David Patterson and Michael I Jordan. 2009.  Wei Xu Ling Huang Armando Fox David Patterson and Michael I Jordan. 2009."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872407"},{"key":"e_1_3_2_1_67_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914)","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 Dataintensive Systems . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914) . USENIX Association, Berkeley, CA, USA, 249\u2013265. 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 Dataintensive Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914). USENIX Association, Berkeley, CA, USA, 249\u2013265. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685068"},{"key":"e_1_3_2_1_68_1","unstructured":"Xu Zhao Kirk Rodrigues Yu Luo Ding Yuan and Michael Stumm. 2016. Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction Principle.. In OSDI. 603\u2013618.   Xu Zhao Kirk Rodrigues Yu Luo Ding Yuan and Michael Stumm. 2016. Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction Principle.. In OSDI. 603\u2013618."},{"key":"e_1_3_2_1_69_1","first-page":"629","article-title":"lprof: A Non-intrusive Request Flow Profiler for Distributed Systems","volume":"14","author":"Zhao Xu","year":"2014","unstructured":"Xu Zhao , Yongle Zhang , David Lion , Muhammad Faizan Ullah , Yu Luo , Ding Yuan , and Michael Stumm . 2014 . lprof: A Non-intrusive Request Flow Profiler for Distributed Systems .. In OSDI , Vol. 14. 629 \u2013 644 . Xu Zhao, Yongle Zhang, David Lion, Muhammad Faizan Ullah, Yu Luo, Ding Yuan, and Michael Stumm. 2014. lprof: A Non-intrusive Request Flow Profiler for Distributed Systems.. In OSDI, Vol. 14. 629\u2013644.","journal-title":"OSDI"},{"key":"e_1_3_2_1_70_1","unstructured":"Qing Zhou Lian Li Lei Wang Jingling Xue and Xiaobing Feng. 2018.  Qing Zhou Lian Li Lei Wang Jingling Xue and Xiaobing Feng. 2018."}],"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.3236071","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:26Z","timestamp":1750208246000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":70,"alternative-id":["10.1145\/3236024.3236071","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236071","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"}}]}}