{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:56:03Z","timestamp":1772042163456,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":84,"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"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1350499, CNS-1526304, CNS-1405959, CNS-1563956"],"award-info":[{"award-number":["CNS-1350499, CNS-1526304, CNS-1405959, CNS-1563956"]}],"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":[[2019,3,25]]},"DOI":"10.1145\/3302424.3303986","type":"proceedings-article","created":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T13:10:03Z","timestamp":1553260203000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["FlyMC"],"prefix":"10.1145","author":[{"given":"Jeffrey F.","family":"Lukman","sequence":"first","affiliation":[{"name":"University of Chicago"}]},{"given":"Huan","family":"Ke","sequence":"additional","affiliation":[{"name":"University of Chicago"}]},{"given":"Cesar A.","family":"Stuardo","sequence":"additional","affiliation":[{"name":"University of Chicago"}]},{"given":"Riza O.","family":"Suminto","sequence":"additional","affiliation":[{"name":"University of Chicago"}]},{"given":"Daniar H.","family":"Kurniawan","sequence":"additional","affiliation":[{"name":"University of Chicago"}]},{"given":"Dikaimin","family":"Simon","sequence":"additional","affiliation":[{"name":"Surya University"}]},{"given":"Satria","family":"Priambada","sequence":"additional","affiliation":[{"name":"Bandung Institute of Technology"}]},{"given":"Chen","family":"Tian","sequence":"additional","affiliation":[{"name":"Huawei US R&D Center"}]},{"given":"Feng","family":"Ye","sequence":"additional","affiliation":[{"name":"Huawei US R&D Center"}]},{"given":"Tanakorn","family":"Leesatapornwongsa","sequence":"additional","affiliation":[{"name":"Samsung Research America"}]},{"given":"Aarti","family":"Gupta","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"Shan","family":"Lu","sequence":"additional","affiliation":[{"name":"University of Chicago"}]},{"given":"Haryadi S.","family":"Gunawi","sequence":"additional","affiliation":[{"name":"University of Chicago"}]}],"member":"320","published-online":{"date-parts":[[2019,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache Hadoop. http:\/\/hadoop.apache.org.  Apache Hadoop. http:\/\/hadoop.apache.org."},{"key":"e_1_3_2_1_2_1","unstructured":"BUG\n  : CASSANDRA-5925: Race condition in update lightweight transaction. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-5925.  BUG: CASSANDRA-5925: Race condition in update lightweight transaction. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-5925."},{"key":"e_1_3_2_1_3_1","unstructured":"BUG\n  : CASSANDRA-6013: CAS may return false but still commit the insert. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-6013 .  BUG: CASSANDRA-6013: CAS may return false but still commit the insert. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-6013 ."},{"key":"e_1_3_2_1_4_1","unstructured":"BUG\n  : CASSANDRA-6023: CAS should distinguish promised and accepted ballots. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-6023.  BUG: CASSANDRA-6023: CAS should distinguish promised and accepted ballots. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-6023."},{"key":"e_1_3_2_1_5_1","unstructured":"BUG\n  : ETHEREUM-15138: eth\/downloader: track peer drops and deassign state sync tasks. https:\/\/github.com\/ethereum\/go-ethereum\/issues\/15138.  BUG: ETHEREUM-15138: eth\/downloader: track peer drops and deassign state sync tasks. https:\/\/github.com\/ethereum\/go-ethereum\/issues\/15138."},{"key":"e_1_3_2_1_6_1","unstructured":"BUG\n  : HBASE-4397: -ROOT- .META. tables stay offline for too long in recovery phase after all RSs are shutdown at the same time. https:\/\/issues.apache.org\/jira\/browse\/HBASE-4397.  BUG: HBASE-4397: -ROOT- .META. tables stay offline for too long in recovery phase after all RSs are shutdown at the same time. https:\/\/issues.apache.org\/jira\/browse\/HBASE-4397."},{"key":"e_1_3_2_1_7_1","unstructured":"BUG\n  : LOGCABIN-174: resiliency in InstallSnapshot. https:\/\/github.com\/logcabin\/logcabin\/issues\/174.  BUG: LOGCABIN-174: resiliency in InstallSnapshot. https:\/\/github.com\/logcabin\/logcabin\/issues\/174."},{"key":"e_1_3_2_1_8_1","unstructured":"BUG\n  : MAPREDUCE-5505: Clients should be notified job finished only after job successfully unregistered. https:\/\/issues.apache.org\/jira\/browse\/MAPREDUCE-5505.  BUG: MAPREDUCE-5505: Clients should be notified job finished only after job successfully unregistered. https:\/\/issues.apache.org\/jira\/browse\/MAPREDUCE-5505."},{"key":"e_1_3_2_1_9_1","unstructured":"BUG\n  : SPARK-15262: race condition in killing an executor and reregistering an executor. https:\/\/issues.apache.org\/jira\/browse\/SPARK-15262.  BUG: SPARK-15262: race condition in killing an executor and reregistering an executor. https:\/\/issues.apache.org\/jira\/browse\/SPARK-15262."},{"key":"e_1_3_2_1_10_1","unstructured":"BUG\n  : SPARK-19623: DAGScheduler should avoid sending conflicting task set. https:\/\/issues.apache.org\/jira\/browse\/SPARK-19263.  BUG: SPARK-19623: DAGScheduler should avoid sending conflicting task set. https:\/\/issues.apache.org\/jira\/browse\/SPARK-19263."},{"key":"e_1_3_2_1_11_1","unstructured":"BUG\n  : ZOOKEEPER-1419: Leader election never settles for a 5-node cluster. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-1419.  BUG: ZOOKEEPER-1419: Leader election never settles for a 5-node cluster. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-1419."},{"key":"e_1_3_2_1_12_1","unstructured":"BUG\n  : ZOOKEEPER-1492: leader cannot switch to LOOKING state when lost the majority. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-1492.  BUG: ZOOKEEPER-1492: leader cannot switch to LOOKING state when lost the majority. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-1492."},{"key":"e_1_3_2_1_13_1","unstructured":"BUG\n  : ZOOKEEPER-335: zookeeper servers should commit the new leader txn to their logs. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-335.  BUG: ZOOKEEPER-335: zookeeper servers should commit the new leader txn to their logs. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-335."},{"key":"e_1_3_2_1_14_1","unstructured":"BUG\n  : ZOOKEEPER-790: Last processed zxid set prematurely while establishing leadership. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-790.  BUG: ZOOKEEPER-790: Last processed zxid set prematurely while establishing leadership. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-790."},{"key":"e_1_3_2_1_15_1","unstructured":"Chameleon. https:\/\/www.chameleoncloud.org.  Chameleon. https:\/\/www.chameleoncloud.org."},{"key":"e_1_3_2_1_16_1","unstructured":"Chameleon Haswell Website. https:\/\/bit.ly\/2KrnE4L.  Chameleon Haswell Website. https:\/\/bit.ly\/2KrnE4L."},{"key":"e_1_3_2_1_17_1","unstructured":"Eclipse Abstract Syntaxt Tree (AST). http:\/\/www.eclipse.org\/articles\/article.php?file=Article-JavaCodeManipulation_AST\/index.html.  Eclipse Abstract Syntaxt Tree (AST). http:\/\/www.eclipse.org\/articles\/article.php?file=Article-JavaCodeManipulation_AST\/index.html."},{"key":"e_1_3_2_1_18_1","unstructured":"Emulab d430 Website. https:\/\/wiki.emulab.net\/wiki\/d430.  Emulab d430 Website. https:\/\/wiki.emulab.net\/wiki\/d430."},{"key":"e_1_3_2_1_19_1","unstructured":"Ethereum. https:\/\/www.ethereum.org.  Ethereum. https:\/\/www.ethereum.org."},{"key":"e_1_3_2_1_20_1","unstructured":"FlyMC Open-Sourced Code. http:\/\/ucare.cs.uchicago.edu\/projects\/FlyMC\/.  FlyMC Open-Sourced Code. http:\/\/ucare.cs.uchicago.edu\/projects\/FlyMC\/."},{"key":"e_1_3_2_1_21_1","unstructured":"FlyMC Technical Report (includes correctness sketch pseudo-code implementation details etc.). https:\/\/tinyurl.com\/flymc-technical-report.  FlyMC Technical Report (includes correctness sketch pseudo-code implementation details etc.). https:\/\/tinyurl.com\/flymc-technical-report."},{"key":"e_1_3_2_1_22_1","unstructured":"Java Path Finder. https:\/\/babelfish.arc.nasa.gov\/trac\/jpf.  Java Path Finder. https:\/\/babelfish.arc.nasa.gov\/trac\/jpf."},{"key":"e_1_3_2_1_23_1","unstructured":"Jepsen. http:\/\/jepsen.io\/.  Jepsen. http:\/\/jepsen.io\/."},{"key":"e_1_3_2_1_24_1","unstructured":"Kudu. https:\/\/kudu.apache.org\/.  Kudu. https:\/\/kudu.apache.org\/."},{"key":"e_1_3_2_1_25_1","unstructured":"Logcabin. https:\/\/github.com\/logcabin\/logcabin.  Logcabin. https:\/\/github.com\/logcabin\/logcabin."},{"key":"e_1_3_2_1_26_1","unstructured":"Namazu. http:\/\/osrg.github.io\/namazu\/.  Namazu. http:\/\/osrg.github.io\/namazu\/."},{"key":"e_1_3_2_1_27_1","unstructured":"Personal Communication with ZooKeeper Developers (Michael Han Patrick Hunt and Alex Shraer).  Personal Communication with ZooKeeper Developers (Michael Han Patrick Hunt and Alex Shraer)."},{"key":"e_1_3_2_1_28_1","unstructured":"RIVER\n  : A Research Infrastructure to Explore Volatility Energy-Efficiency and Resilience. http:\/\/river.cs.uchicago.edu.  RIVER: A Research Infrastructure to Explore Volatility Energy-Efficiency and Resilience. http:\/\/river.cs.uchicago.edu."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535845"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909480"},{"key":"e_1_3_2_1_31_1","volume-title":"David Molnar. Billions and Billions of Constraints: Whitebox Fuzz Testing in Production. In Proceedings of the 35th International Conference on Software Engineering (ICSE)","author":"Bounimova Ella","year":"2013","unstructured":"Ella Bounimova , Patrice Godefroid , and David Molnar. Billions and Billions of Constraints: Whitebox Fuzz Testing in Production. In Proceedings of the 35th International Conference on Software Engineering (ICSE) , 2013 . Ella Bounimova, Patrice Godefroid, and David Molnar. Billions and Billions of Constraints: Whitebox Fuzz Testing in Production. In Proceedings of the 35th International Conference on Software Engineering (ICSE), 2013."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733772"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693458"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2930583.2930602"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462184"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_2"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064183"},{"key":"e_1_3_2_1_40_1","volume-title":"Ion Stoica. Friday: Global Comprehension for Distributed Replay. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI)","author":"Geels Dennis","year":"2007","unstructured":"Dennis Geels , Gautam Altekar , Petros Maniatis , Timothy Roscoe , and Ion Stoica. Friday: Global Comprehension for Distributed Replay. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI) , 2007 . Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, and Ion Stoica. Friday: Global Comprehension for Distributed Replay. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI), 2007."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"Godefroid Patrice","year":"1996","unstructured":"Patrice Godefroid . Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem . volume 1032 , 1996 . Patrice Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. volume 1032, 1996."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_43_1","volume-title":"Haifa Verification Conference (HVC)","author":"Godefroid Patrice","year":"2015","unstructured":"Patrice Godefroid . Between Testing and Verification: Software Model Checking via Systematic Testing (Talk) . In Haifa Verification Conference (HVC) , 2015 . Patrice Godefroid. Between Testing and Verification: Software Model Checking via Systematic Testing (Talk). In Haifa Verification Conference (HVC), 2015."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"e_1_3_2_1_45_1","volume-title":"Microsoft Research","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid and Nachiappan Nagappan . Concurrency At Microsoft - An Exploratory Study. Technical report , Microsoft Research , 2008 . Patrice Godefroid and Nachiappan Nagappan. Concurrency At Microsoft - An Exploratory Study. Technical report, Microsoft Research, 2008."},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the 8th Symposium on Networked Systems Design and Implementation (NSDI)","author":"Guerraoui Rachid","year":"2011","unstructured":"Rachid Guerraoui and Maysam Yabandeh . Model Checking a Networked System Without the Network . In Proceedings of the 8th Symposium on Networked Systems Design and Implementation (NSDI) , 2011 . Rachid Guerraoui and Maysam Yabandeh. Model Checking a Networked System Without the Network. In Proceedings of the 8th Symposium on Networked Systems Design and Implementation (NSDI), 2011."},{"key":"e_1_3_2_1_47_1","volume-title":"Dhruba Borthakur. FATE and DESTINI: A Framework for Cloud Recovery Testing. In Proceedings of the 8th Symposium on Networked Systems Design and Implementation (NSDI)","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. FATE and DESTINI: A Framework for Cloud Recovery Testing. In Proceedings of the 8th Symposium on Networked Systems Design and Implementation (NSDI) , 2011 . 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 Proceedings of the 8th Symposium on Networked Systems Design and Implementation (NSDI), 2011."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_51_1","volume-title":"Proceedings of the 2010 USENIX Annual Technical Conference (ATC)","author":"Hunt Patrick","year":"2010","unstructured":"Patrick Hunt , Mahadev Konar , Flavio P. Junqueira , and Benjamin Reed . ZooKeeper : Wait-free coordination for Internet-scale systems . In Proceedings of the 2010 USENIX Annual Technical Conference (ATC) , 2010 . Patrick Hunt, Mahadev Konar, Flavio P. Junqueira, and Benjamin Reed. ZooKeeper: Wait-free coordination for Internet-scale systems. In Proceedings of the 2010 USENIX Annual Technical Conference (ATC), 2010."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2524211.2524217"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523622"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_31"},{"key":"e_1_3_2_1_55_1","volume-title":"Critical Transition: Finding Liveness Bugs in Systems Code. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI)","author":"Killian Charles","year":"2007","unstructured":"Charles 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 Symposium on Networked Systems Design and Implementation (NSDI) , 2007 . Charles 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 Symposium on Networked Systems Design and Implementation (NSDI), 2007."},{"key":"e_1_3_2_1_56_1","volume-title":"Lakshman and Prashant Malik. Cassandra - A Decentralized Structured Storage System. In The 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware (LADIS)","author":"Avinash","year":"2009","unstructured":"Avinash Lakshman and Prashant Malik. Cassandra - A Decentralized Structured Storage System. In The 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware (LADIS) , 2009 . Avinash Lakshman and Prashant Malik. Cassandra - A Decentralized Structured Storage System. In The 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware (LADIS), 2009."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_58_1","volume-title":"Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Leesatapornwongsa Tanakorn","year":"2014","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 Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI) , 2014 . 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 Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI), 2014."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"issue":"4","key":"e_1_3_2_1_60_1","volume":"36","author":"Limoncelli Thomas A.","year":"2011","unstructured":"Thomas A. Limoncelli and Doug Hughe . LISA '11 Theme -- DevOps: New Challenges , Proven Values . USENIX;login : Magazine , 36 ( 4 ), August 2011 . Thomas A. Limoncelli and Doug Hughe. LISA '11 Theme -- DevOps: New Challenges, Proven Values. USENIX;login: Magazine, 36(4), August 2011.","journal-title":"Magazine"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037735"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177161"},{"key":"e_1_3_2_1_63_1","volume-title":"Proceedings of the 5th Symposium on Networked Systems Design and Implementation (NSDI)","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 . D3S : Debugging Deployed Distributed Systems . In Proceedings of the 5th Symposium on Networked Systems Design and Implementation (NSDI) , 2008 . 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 Proceedings of the 5th Symposium on Networked Systems Design and Implementation (NSDI), 2008."},{"key":"e_1_3_2_1_64_1","volume-title":"Zheng Zhang. WiDS Checker: Combating Bugs in Distributed Systems. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI)","author":"Liu Xuezheng","year":"2007","unstructured":"Xuezheng Liu , Wei Lin , Aimin Pan , and Zheng Zhang. WiDS Checker: Combating Bugs in Distributed Systems. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI) , 2007 . Xuezheng Liu, Wei Lin, Aimin Pan, and Zheng Zhang. WiDS Checker: Combating Bugs in Distributed Systems. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI), 2007."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815415"},{"key":"e_1_3_2_1_66_1","volume-title":"Iulian Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Musuvathi Madanlal","year":"2008","unstructured":"Madanlal Musuvathi , Shaz Qadeer , Tom Ball , Gerard Basler , Piramanayakam Arumuga Nainar , and Iulian Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI) , 2008 . Madanlal Musuvathi, Shaz Qadeer, Tom Ball, Gerard Basler, Piramanayakam Arumuga Nainar, and Iulian Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI), 2008."},{"key":"e_1_3_2_1_67_1","volume-title":"Proceedings of the 2014 USENIX Annual Technical Conference (ATC)","author":"Ongaro Diego","year":"2014","unstructured":"Diego Ongaro and John Ousterhout . In Search of an Understandable Consensus Algorithm . In Proceedings of the 2014 USENIX Annual Technical Conference (ATC) , 2014 . Diego Ongaro and John Ousterhout. In Search of an Understandable Consensus Algorithm. In Proceedings of the 2014 USENIX Annual Technical Conference (ATC), 2014."},{"key":"e_1_3_2_1_68_1","volume-title":"Amin Vahdat. Pip: Detecting the Unexpected in Distributed Systems. In Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI)","author":"Reynolds Patrick","year":"2006","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 Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI) , 2006 . Patrick Reynolds, Charles Killian, Janet L. Wiener, Jeffrey C. Mogul, Mehul A. Shah, and Amin Vahdat. Pip: Detecting the Unexpected in Distributed Systems. In Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI), 2006."},{"key":"e_1_3_2_1_69_1","volume-title":"Daniel Kroening. Unfolding-based Partial Order Reduction. In Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15)","author":"Rodriguez Cesar","year":"2015","unstructured":"Cesar Rodriguez , Marcelo Sousa , Subodh Sharma , and Daniel Kroening. Unfolding-based Partial Order Reduction. In Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15) , 2015 . Cesar Rodriguez, Marcelo Sousa, Subodh Sharma, and Daniel Kroening. Unfolding-based Partial Order Reduction. In Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15), 2015."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987568"},{"key":"e_1_3_2_1_71_1","volume-title":"Scott Shenker. Minimizing Faulty Executions of Distributed Systems. In Proceedings of the 13th Symposium on Networked Systems Design and Implementation (NSDI)","author":"Scott Colin","year":"2016","unstructured":"Colin Scott , Vjekoslav Brajkovic , George Necula , Arvind Krishnamurthy , and Scott Shenker. Minimizing Faulty Executions of Distributed Systems. In Proceedings of the 13th Symposium on Networked Systems Design and Implementation (NSDI) , 2016 . Colin Scott, Vjekoslav Brajkovic, George Necula, Arvind Krishnamurthy, and Scott Shenker. Minimizing Faulty Executions of Distributed Systems. In Proceedings of the 13th Symposium on Networked Systems Design and Implementation (NSDI), 2016."},{"key":"e_1_3_2_1_72_1","volume-title":"Mike Burrows, Pat Stephenson, Manoj Plakal, Donald Beaver, Saul Jaspan, and Chandan Shanbhag. Dapper, a Large-Scale Distributed Systems Tracing Infrastructure. Technical report, Google","author":"Sigelman Benjamin H.","year":"2010","unstructured":"Benjamin H. Sigelman , Luiz Andr\u00c3l' Barroso , Mike Burrows, Pat Stephenson, Manoj Plakal, Donald Beaver, Saul Jaspan, and Chandan Shanbhag. Dapper, a Large-Scale Distributed Systems Tracing Infrastructure. Technical report, Google , Inc ., 2010 . Benjamin H. Sigelman, Luiz Andr\u00c3l' Barroso, Mike Burrows, Pat Stephenson, Manoj Plakal, Donald Beaver, Saul Jaspan, and Chandan Shanbhag. Dapper, a Large-Scale Distributed Systems Tracing Infrastructure. Technical report, Google, Inc., 2010."},{"key":"e_1_3_2_1_73_1","volume-title":"5th International Workshop on Systems Software Verification (SSV)","author":"Simsa Jiri","year":"2010","unstructured":"Jiri Simsa , Randy Bryant , and Garth Gibson . dBug : Systematic Evaluation of Distributed Systems . In 5th International Workshop on Systems Software Verification (SSV) , 2010 . Jiri Simsa, Randy Bryant, and Garth Gibson. dBug: Systematic Evaluation of Distributed Systems. In 5th International Workshop on Systems Software Verification (SSV), 2010."},{"key":"e_1_3_2_1_74_1","volume-title":"Jason Hickey. Scalable Dynamic Partial Order Reduction. In The 3rd International Conference on Runtime Verification (RV)","author":"Simsa Jiri","year":"2012","unstructured":"Jiri Simsa , Randy Bryant , Garth A. Gibson , and Jason Hickey. Scalable Dynamic Partial Order Reduction. In The 3rd International Conference on Runtime Verification (RV) , 2012 . Jiri Simsa, Randy Bryant, Garth A. Gibson, and Jason Hickey. Scalable Dynamic Partial Order Reduction. In The 3rd International Conference on Runtime Verification (RV), 2012."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/350887.350891"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595702"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"e_1_3_2_1_78_1","volume-title":"Abhijeet Joglekar. An Integrated Experimental Environment for Distributed Systems and Networks. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI)","author":"White Brian","year":"2002","unstructured":"Brian White , Jay Lepreau , Leigh Stoller , Robert Ricci , Shashi Guruprasad , Mac Newbold , Mike Hibler , Chad Barb , and Abhijeet Joglekar. An Integrated Experimental Environment for Distributed Systems and Networks. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI) , 2002 . Brian White, Jay Lepreau, Leigh Stoller, Robert Ricci, Shashi Guruprasad, Mac Newbold, Mike Hibler, Chad Barb, and Abhijeet Joglekar. An Integrated Experimental Environment for Distributed Systems and Networks. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI), 2002."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_1_80_1","volume-title":"Viktor Kuncak. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI)","author":"Yabandeh Maysam","year":"2009","unstructured":"Maysam Yabandeh , Nikola Knezevic , Dejan Kostic , and Viktor Kuncak. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI) , 2009 . Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, and Viktor Kuncak. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI), 2009."},{"key":"e_1_3_2_1_81_1","volume-title":"Lidong Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI)","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 Symposium on Networked Systems Design and Implementation (NSDI) , 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 Symposium on Networked Systems Design and Implementation (NSDI), 2009."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770532.1770541"},{"key":"e_1_3_2_1_83_1","volume-title":"Ion Stoica. Spark: Cluster Computing with Working Sets. In The 2nd Workshop on Hot Topics in Cloud Computing (HotCloud)","author":"Zaharia Matei","year":"2010","unstructured":"Matei Zaharia , Mosharaf Chowdhury , Michael J. Franklin , Scott Shenker , and Ion Stoica. Spark: Cluster Computing with Working Sets. In The 2nd Workshop on Hot Topics in Cloud Computing (HotCloud) , 2010 . Matei Zaharia, Mosharaf Chowdhury, Michael J. Franklin, Scott Shenker, and Ion Stoica. Spark: Cluster Computing with Working Sets. In The 2nd Workshop on Hot Topics in Cloud Computing (HotCloud), 2010."},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132768"}],"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.3303986","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302424.3303986","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302424.3303986","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.3303986"}},"subtitle":["Highly Scalable Testing of Complex Interleavings in Distributed Systems"],"short-title":[],"issued":{"date-parts":[[2019,3,25]]},"references-count":84,"alternative-id":["10.1145\/3302424.3303986","10.1145\/3302424"],"URL":"https:\/\/doi.org\/10.1145\/3302424.3303986","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"}}]}}