{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:59Z","timestamp":1772164079510,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":69,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T00:00:00Z","timestamp":1490400000000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1350499"],"award-info":[{"award-number":["CNS-1350499"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,3,25]]},"DOI":"10.1145\/2872362.2872374","type":"proceedings-article","created":{"date-parts":[[2016,3,28]],"date-time":"2016-03-28T09:24:30Z","timestamp":1459157070000},"page":"517-530","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":86,"title":["TaxDC"],"prefix":"10.1145","author":[{"given":"Tanakorn","family":"Leesatapornwongsa","sequence":"first","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}]},{"given":"Jeffrey F.","family":"Lukman","sequence":"additional","affiliation":[{"name":"University of Chicago, University of Chicago, IL, USA"}]},{"given":"Shan","family":"Lu","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}]},{"given":"Haryadi S.","family":"Gunawi","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.freepastry.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"http:\/\/ucare.cs.uchicago.edu\/projects\/cbs\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Apache Cassandra. http:\/\/cassandra.apache.org."},{"key":"e_1_3_2_1_4_1","unstructured":"Apache Hadoop. http:\/\/hadoop.apache.org."},{"key":"e_1_3_2_1_5_1","unstructured":"Apache Hadoop NextGen MapReduce (YARN).hrefhttps:\/\/hadoop.apache.org\/docs\/current\/hadoop-yarn\/hadoop-yarn-site\/YARN.htmlhttps:\/\/hadoop.apache.org\/docs\/current\/hrefhttps:\/\/hadoop.apache.org\/docs\/current\/hadoop-yarn\/hadoop-yarn-site\/YARN.htmlhadoop-yarn\/hadoop-yarn-site\/YARN.html."},{"key":"e_1_3_2_1_6_1","unstructured":"Apache HBase. http:\/\/hbase.apache.org."},{"key":"e_1_3_2_1_7_1","unstructured":"Apache ZooKeeper. http:\/\/zookeeper.apache.org."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"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","volume-title":"OSDI '06","author":"Burrows Mike","unstructured":"Mike Burrows. The Chubby lock service for loosely-coupled distributed systems. In OSDI '06."},{"key":"e_1_3_2_1_11_1","volume-title":"Robert Gruber. Bigtable: A Distributed Storage System for Structured Data. In OSDI '06","author":"Chang Fay","unstructured":"Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Michael Burrows, Tushar Chandra, Andrew Fikes, and Robert Gruber. Bigtable: A Distributed Storage System for Structured Data. In OSDI '06."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA419594"},{"key":"e_1_3_2_1_13_1","volume-title":"OSDI '14","author":"Chow Michael","unstructured":"Michael Chow, David Meisner, Jason Flinn, Daniel Peek, and Thomas F. Wenisch. The Mystery Machine: End-to-end performance analysis of large-scale Internet services. In OSDI '14."},{"key":"e_1_3_2_1_14_1","volume-title":"Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. In OSDI '04","author":"Jeffrey","unstructured":"Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. In OSDI '04."},{"key":"e_1_3_2_1_15_1","volume-title":"SOSP '07","author":"DeCandia Giuseppe","unstructured":"Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, and Werner Vogels. Dynamo: Amazon's Highly Available Key-value Store. In SOSP '07."},{"key":"e_1_3_2_1_16_1","volume-title":"Damien Zufferey. P: Safe Asynchronous Event-Driven Programming. In PLDI '13","author":"Desai Ankush","unstructured":"Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. P: Safe Asynchronous Event-Driven Programming. In PLDI '13."},{"key":"e_1_3_2_1_17_1","volume-title":"Gunawi. Limplock: Understanding the Impact of Limpware on Scale-Out Cloud Systems. In SoCC '13","author":"Do Thanh","unstructured":"Thanh Do, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patana-anake, and Haryadi S. Gunawi. Limplock: Understanding the Impact of Limpware on Scale-Out Cloud Systems. In SoCC '13."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870435"},{"key":"e_1_3_2_1_20_1","volume-title":"FastTrack: Efficient and Precise Dynamic Race Detection. In PLDI","author":"Flanagan Cormac","year":"2009","unstructured":"Cormac Flanagan and Stephen N. Freund. FastTrack: Efficient and Precise Dynamic Race Detection. In PLDI, 2009."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2010.5544315"},{"key":"e_1_3_2_1_22_1","volume-title":"Ion Stoica. Friday: Global Comprehension for Distributed Replay. In NSDI '07","author":"Geels Dennis","unstructured":"Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, and Ion Stoica. Friday: Global Comprehension for Distributed Replay. In NSDI '07."},{"key":"e_1_3_2_1_23_1","volume-title":"Ion Stoica. Replay Debugging for Distributed Applications. In USENIX ATC '06","author":"Geels Dennis","unstructured":"Dennis Geels, Gautam Altekar, Scott Shenker, and Ion Stoica. Replay Debugging for Distributed Applications. In USENIX ATC '06."},{"key":"e_1_3_2_1_24_1","volume-title":"Dhruba Borthakur. Fate and Destini: A Framework for Cloud Recovery Testing. In NSDI '11","author":"Gunawi Haryadi S.","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. Fate and Destini: A Framework for Cloud Recovery Testing. In NSDI '11."},{"key":"e_1_3_2_1_25_1","unstructured":"Haryadi S. Gunawi Mingzhe Hao Tanakorn Leesatapornwongsa Tiratat Patana-anake Thanh Do Jeffry Adityatama Kurnia J. Eliazar Agung Laksono Jeffrey F. Lukman Vincentius Martin and Anang D. Satria. What Bugs Live in the Cloud? A Study of 3000"},{"key":"e_1_3_2_1_26_1","volume-title":"Cloud Systems. In SoCC '14","author":"Issues","unstructured":"Issues in Cloud Systems. In SoCC '14."},{"key":"e_1_3_2_1_27_1","volume-title":"SOSP '11","author":"Guo Huayang","unstructured":"Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, and Lintao Zhang. Practical Software Model Checking via Dynamic Interface Reduction. In SOSP '11."},{"key":"e_1_3_2_1_28_1","volume-title":"FAST '16","author":"Hao Mingzhe","unstructured":"Mingzhe Hao, Gokul Soundararajan, Deepak Kenchammana-Hosekote, Andrew A. Chien, and Haryadi S. Gunawi. The Tail at Store: A Revelation from Millions of Hours of Disk and SSD Deployments. In FAST '16."},{"key":"e_1_3_2_1_29_1","volume-title":"Brian Zill. IronFleet: Proving Practical Distributed Systems Correct. In SOSP '15","author":"Hawblitzel Chris","unstructured":"Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, and Brian Zill. IronFleet: Proving Practical Distributed Systems Correct. In SOSP '15."},{"key":"e_1_3_2_1_30_1","volume-title":"Ion Stoica. Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center. In NSDI '11","author":"Hindman Benjamin","unstructured":"Benjamin Hindman, Andy Konwinski, Matei Zaharia, Ali Ghodsi, Anthony D. Joseph, Randy Katz, Scott Shenker, and Ion Stoica. Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center. In NSDI '11."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594330"},{"key":"e_1_3_2_1_32_1","volume-title":"Gribble. DDOS: Taming Nondeterminism in Distributed Systems. In ASPLOS '13","author":"Hunt Nicholas","unstructured":"Nicholas Hunt, Tom Bergan, Luis Ceze, and Steven D. Gribble. DDOS: Taming Nondeterminism in Distributed Systems. In ASPLOS '13."},{"key":"e_1_3_2_1_33_1","volume-title":"HotPar","author":"Jalbert Nicholas","year":"2011","unstructured":"Nicholas Jalbert, Cristiano Pereira, Gilles Pokam, and Koushik Sen. RADBench: A Concurrency Bug Benchmark Suite. In HotPar, 2011."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"key":"e_1_3_2_1_35_1","volume-title":"OSDI","author":"Jin Guoliang","year":"2012","unstructured":"Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu. Automated Concurrency-Bug Fixing. In OSDI, 2012."},{"key":"e_1_3_2_1_36_1","volume-title":"OOPSLA '11","author":"Joshi Pallavi","unstructured":"Pallavi Joshi, Haryadi S. Gunawi, and Koushik Sen.textscPreFail: A Programmable Tool for Multiple-Failure Injection. In OOPSLA '11."},{"key":"e_1_3_2_1_37_1","volume-title":"OSDI","author":"Jula Horatiu","year":"2008","unstructured":"Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, and George Candea. Deadlock Immunity: Enabling Systems To Defend Against Deadlocks. In OSDI, 2008."},{"key":"e_1_3_2_1_38_1","volume-title":"Critical Transition: Finding Liveness Bugs in Systems Code. In NSDI '07","author":"Killian Charles","unstructured":"Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In NSDI '07."},{"key":"e_1_3_2_1_39_1","volume-title":"Gunawi. SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI '14","author":"Leesatapornwongsa Tanakorn","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 OSDI '14."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606646"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781148"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635881"},{"key":"e_1_3_2_1_43_1","volume-title":"NSDI '08","author":"Liu Xuezheng","unstructured":"Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, and Zheng Zhang. D3S: Debugging Deployed Distributed Systems. In NSDI '08."},{"key":"e_1_3_2_1_44_1","volume-title":"Zheng Zhang. WiDS Checker: Combating Bugs in Distributed Systems. In NSDI '07","author":"Liu Xuezheng","unstructured":"Xuezheng Liu, Wei Lin, Aimin Pan, and Zheng Zhang. WiDS Checker: Combating Bugs in Distributed Systems. In NSDI '07."},{"key":"e_1_3_2_1_45_1","volume-title":"Shan Lu. A Study of Linux File System Evolution. In FAST '13","author":"Lu Lanyue","unstructured":"Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Shan Lu. A Study of Linux File System Evolution. In FAST '13."},{"key":"e_1_3_2_1_46_1","volume-title":"ASPLOS '08","author":"Lu Shan","unstructured":"Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou. Learning from Mistakes -- A Comprehensive Study on Real World Concurrency Bug Characteristics. In ASPLOS '08."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451121"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"e_1_3_2_1_50_1","volume-title":"USENIX ATC '14","author":"Ongaro Diego","unstructured":"Diego Ongaro and John Ousterhout. In Search of an Understandable Consensus Algorithm. In USENIX ATC '14."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950401"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_53_1","volume-title":"ISCA","author":"Pokam Gilles","year":"2013","unstructured":"Gilles Pokam, Klaus Danne, Cristiano Pereira, Rolf Kassa, Tim Kranich, Shiliang Hu, Justin Gottschlich, Nima Honarmand, Nathan Dautenhahn, Samuel T. King, and Josep Torrellas. QuickRec: Prototyping an Intel Architecture Extension for Record and Replay of Multithreaded Programs. In ISCA, 2013."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2014.6835923"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509538"},{"key":"e_1_3_2_1_56_1","volume-title":"Amin Vahdat. Pip: Detecting the Unexpected in Distributed Systems. In NSDI '06","author":"Reynolds Patrick","unstructured":"Patrick Reynolds, Charles Killian, Janet L. Wiener, Jeffrey C. Mogul, Mehul A. Shah, and Amin Vahdat. Pip: Detecting the Unexpected in Distributed Systems. In NSDI '06."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693017_25"},{"key":"e_1_3_2_1_60_1","volume-title":"SSV '10","author":"Simsa Jiri","unstructured":"Jiri Simsa, Randy Bryant, and Garth Gibson. dBug: Systematic Evaluation of Distributed Systems. In SSV '10."},{"key":"e_1_3_2_1_61_1","volume-title":"Hari Balakrishnan. Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications. In SIGCOMM '01","author":"Stoica Ion","unstructured":"Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, and Hari Balakrishnan. Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications. In SIGCOMM '01."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950370"},{"key":"e_1_3_2_1_63_1","volume-title":"OSDI","author":"Wang Yin","year":"2008","unstructured":"Yin Wang, Terence Kelly, Manjunath Kudlur, Stephane Lafortune, and Scott Mahlke. Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. In OSDI, 2008."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_1_65_1","volume-title":"An Empirical Study on Non-commutative Aggregators in MapReduce Programs. In ICSE '14","author":"Xiao Tian","unstructured":"Tian Xiao, Jiaxing Zhang, Hucheng Zhou, Zhenyu Guo, Sean McDirmid, Wei Lin, Wenguang Chen, and Lidong Zhou. Nondeterminism in MapReduce Considered Harmful? An Empirical Study on Non-commutative Aggregators in MapReduce Programs. In ICSE '14."},{"key":"e_1_3_2_1_66_1","volume-title":"Lidong Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI '09","author":"Yang Junfeng","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 NSDI '09."},{"key":"e_1_3_2_1_67_1","unstructured":"Jie Yu. A collection of concurrency bugs.textcolorMaroonhttps:\/\/github.com\/jieyu\/concurrency-bugs."},{"key":"e_1_3_2_1_68_1","volume-title":"Michael Stumm. Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems. In OSDI '14","author":"Yuan Ding","unstructured":"Ding Yuan, Yu Luo, Xin Zhuang, Guilherme Renna Rodrigues, Xu Zhao, Yongle Zhang, Pranay U. Jain, and Michael Stumm. Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems. In OSDI '14."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451129"}],"event":{"name":"ASPLOS '16: Architectural Support for Programming Languages and Operating Systems","location":"Atlanta Georgia USA","acronym":"ASPLOS '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2872362.2872374","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2872362.2872374","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2872362.2872374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:41:37Z","timestamp":1763458897000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2872362.2872374"}},"subtitle":["A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems"],"short-title":[],"issued":{"date-parts":[[2016,3,25]]},"references-count":69,"alternative-id":["10.1145\/2872362.2872374","10.1145\/2872362"],"URL":"https:\/\/doi.org\/10.1145\/2872362.2872374","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2954679.2872374","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2980024.2872374","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,3,25]]},"assertion":[{"value":"2016-03-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}