{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T08:06:27Z","timestamp":1782547587327,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":71,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,9]],"date-time":"2021-06-09T00:00:00Z","timestamp":1623196800000},"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":[[2021,6,9]]},"DOI":"10.1145\/3448016.3457559","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T17:22:30Z","timestamp":1624036950000},"page":"2653-2666","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":42,"title":["FoundationDB: A Distributed Unbundled Transactional Key Value Store"],"prefix":"10.1145","author":[{"given":"Jingyu","family":"Zhou","sequence":"first","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Meng","family":"Xu","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Shraer","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bala","family":"Namasivayam","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Miller","sequence":"additional","affiliation":[{"name":"Snowflake Inc., San Mateo, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Evan","family":"Tschannen","sequence":"additional","affiliation":[{"name":"Snowflake Inc., San Mateo, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steve","family":"Atherton","sequence":"additional","affiliation":[{"name":"Snowflake Inc., San Mateo, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew J.","family":"Beamon","sequence":"additional","affiliation":[{"name":"Snowflake Inc., San Mateo, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rusty","family":"Sears","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Leach","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dave","family":"Rosenthal","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xin","family":"Dong","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Will","family":"Wilson","sequence":"additional","affiliation":[{"name":"antithesis.com, Arlington, VA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ben","family":"Collins","sequence":"additional","affiliation":[{"name":"antithesis.com, Arlington, VA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Scherer","sequence":"additional","affiliation":[{"name":"antithesis.com, Arlington, VA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alec","family":"Grieser","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Young","family":"Liu","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alvin","family":"Moore","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bhaskar","family":"Muppana","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaoge","family":"Su","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vishesh","family":"Yadav","sequence":"additional","affiliation":[{"name":"Apple Inc., Cupertino, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Couchbase. https:\/\/www.couchbase.com\/.  Couchbase. https:\/\/www.couchbase.com\/."},{"key":"e_1_3_2_2_2_1","unstructured":"CouchDB. https:\/\/couchdb.apache.org\/.  CouchDB. https:\/\/couchdb.apache.org\/."},{"key":"e_1_3_2_2_3_1","unstructured":"Distributed system safety research. https:\/\/jepsen.io\/.  Distributed system safety research. https:\/\/jepsen.io\/."},{"key":"e_1_3_2_2_4_1","unstructured":"Flow. https:\/\/github.com\/apple\/foundationdb\/tree\/master\/flow.  Flow. https:\/\/github.com\/apple\/foundationdb\/tree\/master\/flow."},{"key":"e_1_3_2_2_5_1","unstructured":"FoundationDB. https:\/\/github.com\/apple\/foundationdb.  FoundationDB. https:\/\/github.com\/apple\/foundationdb."},{"key":"e_1_3_2_2_6_1","unstructured":"FoundationDB Document Layer. https:\/\/github.com\/FoundationDB\/fdb-document-layer.  FoundationDB Document Layer. https:\/\/github.com\/FoundationDB\/fdb-document-layer."},{"key":"e_1_3_2_2_7_1","unstructured":"FoundationDB Joshua. https:\/\/github.com\/FoundationDB\/fdb-joshua.  FoundationDB Joshua. https:\/\/github.com\/FoundationDB\/fdb-joshua."},{"key":"e_1_3_2_2_8_1","unstructured":"Foundationdb storage adapter for janusgraph. https:\/\/github.com\/JanusGraph\/janusgraph-foundationdb.  Foundationdb storage adapter for janusgraph. https:\/\/github.com\/JanusGraph\/janusgraph-foundationdb."},{"key":"e_1_3_2_2_9_1","unstructured":"Janusgraph. https:\/\/janusgraph.org\/.  Janusgraph. https:\/\/janusgraph.org\/."},{"key":"e_1_3_2_2_10_1","unstructured":"MongoDB. https:\/\/www.mongodb.com\/.  MongoDB. https:\/\/www.mongodb.com\/."},{"key":"e_1_3_2_2_11_1","unstructured":"Tephra: Transactions for Apache HBase. http:\/\/tephra.incubator.apache.org\/.  Tephra: Transactions for Apache HBase. http:\/\/tephra.incubator.apache.org\/."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2012.33"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/7929"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3291168.3291173"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.14778\/3025111.3025116"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522732"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1325851.1325993"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/12518"},{"key":"e_1_3_2_2_19_1","volume-title":"CIDR","author":"Bernstein P. A.","year":"2011","unstructured":"P. A. Bernstein , C. W. Reid , and S. Das . Hyder - a transactional record manager for shared flash . In CIDR , 2011 . P. A. Bernstein, C. W. Reid, and S. Das. Hyder - a transactional record manager for shared flash. In CIDR, 2011."},{"key":"e_1_3_2_2_20_1","first-page":"167","volume-title":"15th USENIX Conference on File and Storage Technologies (FAST 17)","author":"Bortnikov E.","year":"2017","unstructured":"E. Bortnikov , E. Hillel , I. Keidar , I. Kelly , M. Morel , S. Paranjpye , F. Perez-Sorrosal , and O. Shacham . Omid, reloaded: Scalable and highly-available transaction processing . In 15th USENIX Conference on File and Storage Technologies (FAST 17) , pages 167 -- 180 , Santa Clara, CA , Feb. 2017 . USENIX Association. E. Bortnikov, E. Hillel, I. Keidar, I. Kelly, M. Morel, S. Paranjpye, F. Perez-Sorrosal, and O. Shacham. Omid, reloaded: Scalable and highly-available transaction processing. In 15th USENIX Conference on File and Storage Technologies (FAST 17), pages 167--180, Santa Clara, CA, Feb. 2017. USENIX Association."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742783"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273036"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.14778\/3229863.3229872"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2003.1260883"},{"key":"e_1_3_2_2_25_1","volume-title":"Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI'06)","author":"Chang F.","year":"2006","unstructured":"F. Chang , J. Dean , S. Ghemawat , W. C. Hsieh , D. A. Wallach , M. Burrows , T. Chandra , A. Fikes , and R. E. Gruber . Bigtable: A distributed storage system for structured data . In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI'06) , 2006 . F. Chang, J. Dean, S. Ghemawat, W. C. Hsieh, D. A. Wallach, M. Burrows, T. Chandra, A. Fikes, and R. E. Gruber. Bigtable: A distributed storage system for structured data. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI'06), 2006."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092701"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/571825.571837"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299869.3314039"},{"key":"e_1_3_2_2_29_1","first-page":"37","volume-title":"Presented as part of the 2013 USENIX Annual Technical Conference","author":"Cidon A.","year":"2013","unstructured":"A. Cidon , S. Rumble , R. Stutsman , S. Katti , J. Ousterhout , and M. Rosenblum . Copysets: Reducing the frequency of data loss in cloud storage . In Presented as part of the 2013 USENIX Annual Technical Conference , pages 37 -- 48 , San Jose, CA , 2013 . USENIX. A. Cidon, S. Rumble, R. Stutsman, S. Katti, J. Ousterhout, and M. Rosenblum. Copysets: Reducing the frequency of data loss in cloud storage. In Presented as part of the 2013 USENIX Annual Technical Conference, pages 37--48, San Jose, CA, 2013. USENIX."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454167"},{"key":"e_1_3_2_2_31_1","first-page":"261","volume-title":"10th USENIX Symposium on Operating Systems Design and Implementation","author":"Corbett J. C.","year":"2012","unstructured":"J. C. Corbett , J. Dean , M. Epstein , A. Fikes , C. Frost , J. Furman , S. Ghemawat , A. Gubarev , C. Heiser , P. Hochschild , W. Hsieh , S. Kanthak , E. Kogan , H. Li , A. Lloyd , S. Melnik , D. Mwaura , D. Nagle , S. Quinlan , R. Rao , L. Rolig , Y. Saito , M. Szymaniak , C. Taylor , R. Wang , and D. Woodford . Spanner: Googletextquoterights globally-distributed database . In 10th USENIX Symposium on Operating Systems Design and Implementation , pages 261 -- 264 , Hollywood, CA , Oct. 2012 . USENIX Association. J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost, J. Furman, S. Ghemawat, A. Gubarev, C. Heiser, P. Hochschild, W. Hsieh, S. Kanthak, E. Kogan, H. Li, A. Lloyd, S. Melnik, D. Mwaura, D. Nagle, S. Quinlan, R. Rao, L. Rolig, Y. Saito, M. Szymaniak, C. Taylor, R. Wang, and D. Woodford. Spanner: Googletextquoterights globally-distributed database. In 10th USENIX Symposium on Operating Systems Design and Implementation, pages 261--264, Hollywood, CA, Oct. 2012. USENIX Association."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408794"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294281"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2463710"},{"key":"e_1_3_2_2_35_1","first-page":"401","volume-title":"Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation","author":"Dragojevi\u00e7 A.","year":"2014","unstructured":"A. Dragojevi\u00e7 , D. Narayanan , O. Hodson , and M. Castro . Farm: Fast remote memory . In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation , pages 401 -- 414 , Seattle, WA, USA , April 2014 . A. Dragojevi\u00e7, D. Narayanan, O. Hodson, and M. Castro. Farm: Fast remote memory. In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, pages 401--414, Seattle, WA, USA, April 2014."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815425"},{"key":"e_1_3_2_2_37_1","volume-title":"LADIS","author":"Eyal I.","year":"2013","unstructured":"I. Eyal , K. P. Birman , I. Keidar , and R. van Renesse . Ordering transactions with prediction in distributed object stores . In LADIS , 2013 . I. Eyal, K. P. Birman, I. Keidar, and R. van Renesse. Ordering transactions with prediction in distributed object stores. In LADIS, 2013."},{"key":"e_1_3_2_2_38_1","unstructured":"Facebook. Rocksdb. https:\/\/rocksdb.org.  Facebook. Rocksdb. https:\/\/rocksdb.org."},{"key":"e_1_3_2_2_39_1","first-page":"149","volume-title":"Proceedings of the 15th Usenix Conference on File and Storage Technologies, FAST'17","author":"Ganesan A.","year":"2017","unstructured":"A. Ganesan , R. Alagappan , A. C. Arpaci-Dusseau , and R. H. Arpaci-Dusseau . Redundancy does not imply fault tolerance: Analysis of distributed storage reactions to single errors and corruptions . In Proceedings of the 15th Usenix Conference on File and Storage Technologies, FAST'17 , pages 149 -- 165 , Santa clara, CA, USA , 2017 . USENIX Association. A. Ganesan, R. Alagappan, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Redundancy does not imply fault tolerance: Analysis of distributed storage reactions to single errors and corruptions. In Proceedings of the 15th Usenix Conference on File and Storage Technologies, FAST'17, pages 149--165, Santa clara, CA, USA, 2017. USENIX Association."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"e_1_3_2_2_41_1","volume-title":"https:\/\/www.sqlite.org\/index.html","author":"Hipp R. D.","year":"2020","unstructured":"R. D. Hipp . SQLite. https:\/\/www.sqlite.org\/index.html , 2020 . R. D. Hipp. SQLite. https:\/\/www.sqlite.org\/index.html, 2020."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/874064.875631"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.362.0327"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1582716.1582722"},{"key":"e_1_3_2_2_46_1","first-page":"399","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation, OSDI'14","author":"Leesatapornwongsa T.","year":"2014","unstructured":"T. Leesatapornwongsa , M. Hao , P. Joshi , J. F. Lukman , and H. S. Gunawi . 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 , pages 399 -- 414 , Broomfield, CO , 2014 . USENIX Association. T. Leesatapornwongsa, M. Hao, P. Joshi, J. F. Lukman, and H. S. Gunawi. 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, pages 399--414, Broomfield, CO, 2014. USENIX Association."},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3448016.3457567"},{"key":"e_1_3_2_2_48_1","volume-title":"Conference on Innovative Data Systems Research (CIDR). www.crdrdb.org","author":"Levandoski J.","year":"2011","unstructured":"J. Levandoski , D. Lomet , and K. K. Zhao . Deuteronomy: Transaction support for cloud data . In Conference on Innovative Data Systems Research (CIDR). www.crdrdb.org , January 2011 . J. Levandoski, D. Lomet, and K. K. Zhao. Deuteronomy: Transaction support for cloud data. In Conference on Innovative Data Systems Research (CIDR). www.crdrdb.org, January 2011."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2751519"},{"key":"e_1_3_2_2_50_1","volume-title":"Fourth Biennial Conference on Innovative Data Systems Research","author":"Lomet D.","year":"2009","unstructured":"D. Lomet , A. Fekete , G. Weikum , and M. J. Zwilling . Unbundling transaction services in the cloud . In Fourth Biennial Conference on Innovative Data Systems Research , Asilomar, CA , Jan. 2009 . D. Lomet, A. Fekete, G. Weikum, and M. J. Zwilling. Unbundling transaction services in the cloud. In Fourth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, Jan. 2009."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687658"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014.6816685"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043560"},{"key":"e_1_3_2_2_55_1","first-page":"251","volume-title":"Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI'10","author":"Peng D.","year":"2010","unstructured":"D. Peng and F. Dabek . Large-scale incremental processing using distributed transactions and notifications . In Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI'10 , pages 251 -- 264 , Vancouver, BC, Canada , 2010 . D. Peng and F. Dabek. Large-scale incremental processing using distributed transactions and notifications. In Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI'10, pages 251--264, Vancouver, BC, Canada, 2010."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/78973.78977"},{"key":"e_1_3_2_2_57_1","first-page":"667","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Rigger M.","year":"2020","unstructured":"M. Rigger and Z. Su . Testing database engines via pivoted query synthesis . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) , pages 667 -- 682 . USENIX Association , Nov. 2020 . M. Rigger and Z. Su. Testing database engines via pivoted query synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 667--682. USENIX Association, Nov. 2020."},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.14778\/3229863.3229868"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3187009.3164138"},{"key":"e_1_3_2_2_60_1","first-page":"618","volume-title":"VLDB'98, Proceedings of 24rd International Conference on Very Large Data Bases, August 24--27","author":"Slutz D. R.","year":"1998","unstructured":"D. R. Slutz . Massive stochastic testing of SQL. In A. Gupta, O. Shmueli, and J. Widom, editors, VLDB'98, Proceedings of 24rd International Conference on Very Large Data Bases, August 24--27 , 1998 , New York City, New York, USA , pages 618 -- 622 . Morgan Kaufmann , 1998. D. R. Slutz. Massive stochastic testing of SQL. In A. Gupta, O. Shmueli, and J. Widom, editors, VLDB'98, Proceedings of 24rd International Conference on Very Large Data Bases, August 24--27, 1998, New York City, New York, USA, pages 618--622. Morgan Kaufmann, 1998."},{"key":"e_1_3_2_2_61_1","first-page":"1150","volume-title":"Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB '07","author":"Stonebraker M.","year":"2007","unstructured":"M. Stonebraker , S. Madden , D. J. Abadi , S. Harizopoulos , N. Hachem , and P. Helland . The end of an architectural era: (it's time for a complete rewrite) . In Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB '07 , pages 1150 -- 1160 . VLDB Endowment , 2007 . M. Stonebraker, S. Madden, D. J. Abadi, S. Harizopoulos, N. Hachem, and P. Helland. The end of an architectural era: (it's time for a complete rewrite). In Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB '07, pages 1150--1160. VLDB Endowment, 2007."},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3386134"},{"key":"e_1_3_2_2_63_1","first-page":"63","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Tan C.","year":"2020","unstructured":"C. Tan , C. Zhao , S. Mu , and M. Walfish . Cobra: Making transactional key-value stores verifiably serializable . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) , pages 63 -- 80 . USENIX Association , Nov. 2020 . C. Tan, C. Zhao, S. Mu, and M. Walfish. Cobra: Making transactional key-value stores verifiably serializable. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 63--80. USENIX Association, Nov. 2020."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213838"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522713"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3056101"},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196937"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168853"},{"key":"e_1_3_2_2_69_1","first-page":"213","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI'09","author":"Yang J.","year":"2009","unstructured":"J. Yang , T. Chen , M. Wu , Z. Xu , X. Liu , H. Lin , M. Yang , F. Long , L. Zhang , and L. Zhou . MODIST: transparent model checking of unmodified distributed systems . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI'09 , pages 213 -- 228 , Boston, Massachusetts , 2009 . USENIX Association. J. Yang, T. Chen, M. Wu, Z. Xu, X. Liu, H. Lin, M. Yang, F. Long, L. Zhang, and L. Zhou. MODIST: transparent model checking of unmodified distributed systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI'09, pages 213--228, Boston, Massachusetts, 2009. USENIX Association."},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685083"},{"key":"e_1_3_2_2_71_1","first-page":"795","volume-title":"USENIX Annual Technical Conference","author":"Zhu T.","year":"2018","unstructured":"T. Zhu , Z. Zhao , F. Li , W. Qian , A. Zhou , D. Xie , R. Stutsman , H. Li , and H. Hu . Solar: Towards a shared-everything database on distributed log-structured storage . In USENIX Annual Technical Conference , pages 795 -- 807 . USENIX Association , 2018 . T. Zhu, Z. Zhao, F. Li, W. Qian, A. Zhou, D. Xie, R. Stutsman, H. Li, and H. Hu. Solar: Towards a shared-everything database on distributed log-structured storage. In USENIX Annual Technical Conference, pages 795--807. USENIX Association, 2018."}],"event":{"name":"SIGMOD\/PODS '21: International Conference on Management of Data","location":"Virtual Event China","acronym":"SIGMOD\/PODS '21","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 2021 International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3448016.3457559","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3448016.3457559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:25:04Z","timestamp":1750195504000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3448016.3457559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,9]]},"references-count":71,"alternative-id":["10.1145\/3448016.3457559","10.1145\/3448016"],"URL":"https:\/\/doi.org\/10.1145\/3448016.3457559","relation":{},"subject":[],"published":{"date-parts":[[2021,6,9]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}