{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T16:58:11Z","timestamp":1790701091178,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":90,"publisher":"ACM","funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CSR-17620155"],"award-info":[{"award-number":["CSR-17620155"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-CORE 2008667"],"award-info":[{"award-number":["CNS-CORE 2008667"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-CORE 2106954"],"award-info":[{"award-number":["CNS-CORE 2106954"]}],"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":[[2025,10,13]]},"DOI":"10.1145\/3731569.3764799","type":"proceedings-article","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T12:43:24Z","timestamp":1759322604000},"page":"529-554","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Pesto: Cooking up High Performance BFT Queries"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3948-6725","authenticated-orcid":false,"given":"Florian","family":"Suri-Payer","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2175-2611","authenticated-orcid":false,"given":"Neil","family":"Giridharan","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1098-4906","authenticated-orcid":false,"given":"Liam","family":"Arzola","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, USA"},{"name":"UC San Diego, San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9001-2387","authenticated-orcid":false,"given":"Shir","family":"Cohen","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9857-5528","authenticated-orcid":false,"given":"Lorenzo","family":"Alvisi","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3567-801X","authenticated-orcid":false,"given":"Natacha","family":"Crooks","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Aptos. https:\/\/aptosfoundation.org\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_2_1","unstructured":"Azure Confidential Ledger. https:\/\/azure.microsoft.com\/en-gb\/products\/azure-confidential-ledger\/#overview. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_3_1","unstructured":"Basil: Breaking up BFT with ACID transactions - SOSP'21 Artifact. https:\/\/github.com\/fsuri\/Basil_SOSP21_artifact. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_4_1","unstructured":"Benchbase. https:\/\/db.cs.cmu.edu\/projects\/benchbase\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_5_1","unstructured":"BLAKE3. https:\/\/github.com\/BLAKE3-team\/BLAKE3. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_6_1","unstructured":"Byzantine Fault-Tolerant (BFT) State Machine Replication (SMaRt) v1.2. https:\/\/github.com\/bft-smart\/library. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_7_1","unstructured":"CloudLab. https:\/\/www.cloudlab.us. last accessed 11\/11\/24."},{"key":"e_1_3_2_1_8_1","unstructured":"CockroachDB. https:\/\/www.cockroachlabs.com\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_9_1","unstructured":"Comet-BFT. https:\/\/github.com\/cometbft\/cometbft. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_10_1","unstructured":"Diem. https:\/\/en.wikipedia.org\/wiki\/Diem_(digital_currency). last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_11_1","unstructured":"Digital Euro. https:\/\/www.ecb.europa.eu\/euro\/digital_euro\/html\/index.en.html. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_12_1","unstructured":"Ethereum. https:\/\/ethereum.org\/en\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_13_1","unstructured":"Ethereum Virtual Machine. https:\/\/ethereum.org\/en\/developers\/docs\/evm\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_14_1","unstructured":"JP Morgan Kinexys. https:\/\/www.jpmorgan.com\/kinexys\/index. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_15_1","unstructured":"Kwil-DB. https:\/\/www.kwil.com\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_16_1","unstructured":"Meter. https:\/\/www.meter.io\/."},{"key":"e_1_3_2_1_17_1","unstructured":"Microsoft Confidential Consortium Framework. https:\/\/www.microsoft.com\/en-us\/research\/project\/confidential-consortium-framework\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_18_1","unstructured":"MongoDB. https:\/\/www.mongodb.com\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_19_1","unstructured":"Move - A Web3 Language and Runtime. https:\/\/aptos.dev\/en\/network\/blockchain\/move. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_20_1","unstructured":"Peloton-DB. https:\/\/db.cs.cmu.edu\/peloton\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_21_1","unstructured":"PostgreSQL. http:\/\/www.postgresql.org. last accessed 11\/11\/24."},{"key":"e_1_3_2_1_22_1","unstructured":"Protobuf. https:\/\/protobuf.dev\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_23_1","unstructured":"Solana. https:\/\/solana.com\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_24_1","unstructured":"Sui. https:\/\/sui.io\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_25_1","unstructured":"A. Adya. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. PhD thesis 1999."},{"key":"e_1_3_2_1_26_1","first-page":"56","volume-title":"Healthcare","author":"Agbo C. C.","unstructured":"C. C. Agbo, Q. H. Mahmoud, and J. M. Eklund. Blockchain Technology in Healthcare: A Systematic Review. In Healthcare, volume 7, page 56. MDPI, 2019."},{"key":"e_1_3_2_1_27_1","volume-title":"Chainspace: A Sharded Smart Contracts Platform. arXiv:1708.03778","author":"Al-Bassam M.","year":"2017","unstructured":"M. Al-Bassam, A. Sonnino, S. Bano, D. Hrycyszyn, and G. Danezis. Chainspace: A Sharded Smart Contracts Platform. arXiv:1708.03778, 2017."},{"key":"e_1_3_2_1_28_1","first-page":"15","volume-title":"Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. In Proceedings of the ACM European Conference on Computer Systems (EuroSys)","author":"Androulaki E.","year":"2018","unstructured":"E. Androulaki, A. Barger, V. Bortnikov, C. Cachin, K. Christidis, A. De Caro, D. Enyeart, C. Ferris, G. Laventman, Y. Manevich, et al. Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. In Proceedings of the ACM European Conference on Computer Systems (EuroSys), pages 1\u201315, 2018."},{"key":"e_1_3_2_1_29_1","volume-title":"Blockchain Technology: Applications in Health Care. Circulation: Cardiovascular quality and outcomes, 10(9):e003800","author":"Angraal S.","year":"2017","unstructured":"S. Angraal, H. M. Krumholz, and W. L. Schulz. Blockchain Technology: Applications in Health Care. Circulation: Cardiovascular quality and outcomes, 10(9):e003800, 2017."},{"key":"e_1_3_2_1_30_1","volume-title":"Celo Whitepaper","author":"Ansel J.","year":"2019","unstructured":"J. Ansel and M. Olszewski. BFTree - Scaling HotStuff to Millions of Validators. Celo Whitepaper, 2019. last accessed 11\/11\/24."},{"key":"e_1_3_2_1_31_1","first-page":"343","volume-title":"Proceedings of the 2017 ACM International Conference on Management of Data","author":"Bacon D. F.","year":"2017","unstructured":"D. F. Bacon, N. Bales, N. Bruno, B. F. Cooper, A. Dickinson, A. Fikes, C. Fraser, A. Gubarev, M. Joshi, E. Kogan, et al. Spanner: Becoming a SQL system. In Proceedings of the 2017 ACM International Conference on Management of Data, pages 331\u2013343, 2017."},{"key":"e_1_3_2_1_32_1","unstructured":"M. Baudet A. Ching A. Chursin G. Danezis F. Garillot Z. Li D. Malkhi O. Naor D. Perelman and A. Sonnino. State machine replication in the Libra Blockchain. The Libra Association Technical Report 2019."},{"issue":"2","key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/568271.223785","article-title":"A critique of ansi sql isolation levels","volume":"24","author":"Berenson H.","year":"1995","unstructured":"H. Berenson, P. Bernstein, J. Gray, J. Melton, E. O'Neil, and P. O'Neil. A critique of ansi sql isolation levels. SIGMOD Rec., 24(2):1\u201310, May 1995.","journal-title":"SIGMOD Rec."},{"key":"e_1_3_2_1_34_1","unstructured":"D. Bernstein N. Duif T. Lange P. Schwabe and B.-Y. Yang. Ed25519: high-speed high-security signatures. http:\/\/ed25519.cr.yp.to\/."},{"key":"e_1_3_2_1_35_1","first-page":"362","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks (DSN)","author":"Bessani A.","year":"2014","unstructured":"A. Bessani, J. Sousa, and E. E. Alchieri. State machine replication for the masses with BFT-SMaRt. In Proceedings of the International Conference on Dependable Systems and Networks (DSN), pages 355\u2013362, 2014."},{"key":"e_1_3_2_1_36_1","unstructured":"E. Buchman. Tendermint: Byzantine Fault Tolerance in the Age of Blockchains. PhD thesis 2016."},{"key":"e_1_3_2_1_37_1","first-page":"702","volume-title":"Proceedings of the Eighteenth European Conference on Computer Systems","author":"Burke M.","year":"2023","unstructured":"M. Burke, F. Suri-Payer, J. Helt, L. Alvisi, and N. Crooks. Morty: Scaling Concurrency Control with Re-Execution. In Proceedings of the Eighteenth European Conference on Computer Systems, pages 687\u2013702, 2023."},{"key":"e_1_3_2_1_38_1","first-page":"186","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Castro M.","year":"1999","unstructured":"M. Castro, B. Liskov, et al. Practical Byzantine Fault Tolerance. In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 173\u2013186, 1999."},{"key":"e_1_3_2_1_39_1","volume-title":"PaLa: A Simple Partially Synchronous Blockchain. IACR Cryptol. ePrint Arch","author":"Chan T.-H. H.","year":"2018","unstructured":"T.-H. H. Chan, R. Pass, and E. Shi. PaLa: A Simple Partially Synchronous Blockchain. IACR Cryptol. ePrint Arch., 2018:981, 2018."},{"key":"e_1_3_2_1_40_1","first-page":"168","volume-title":"Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Clement A.","year":"2009","unstructured":"A. Clement, E. Wong, L. Alvisi, M. Dahlin, and M. Marchetti. Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults. In Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI), page 153\u2013168, 2009."},{"key":"e_1_3_2_1_41_1","first-page":"719","volume-title":"18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)","author":"Connell G.","year":"2024","unstructured":"G. Connell, V. Fang, R. Schmidt, E. Dauterman, and R. A. Popa. Secret Key Recovery in a Global-Scale End-to-End Encryption System. In 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24), pages 703\u2013719, Santa Clara, CA, July 2024. USENIX Association."},{"key":"e_1_3_2_1_42_1","first-page":"154","volume-title":"Proceedings of the ACM Symposium on Cloud Computing (SOCC)","author":"Cooper B. F.","year":"2010","unstructured":"B. F. Cooper, A. Silberstein, E. Tam, R. Ramakrishnan, and R. Sears. Benchmarking Cloud Serving Systems with YCSB. In Proceedings of the ACM Symposium on Cloud Computing (SOCC), pages 143\u2013154, 2010."},{"key":"e_1_3_2_1_43_1","volume-title":"Spanner: Google's globally-distributed database, booktitle = Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, series = OSDI '12, isbn = 978-1-931971-96-6","author":"Corbett J. C.","unstructured":"J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost, J. 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: Google's globally-distributed database, booktitle = Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, series = OSDI '12, isbn = 978-1-931971-96-6, pages = 251\u2013264, numpages = 14, url = http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387905, acmid = 2387905,."},{"key":"e_1_3_2_1_44_1","unstructured":"Cypherium. Cypherium-Whitepaper-2-0. last accessed 11\/11\/24."},{"key":"e_1_3_2_1_45_1","unstructured":"W. Dai. CryptoPP. https:\/\/github.com\/weidai11\/cryptopp\/. last accessed on 11\/11\/24."},{"key":"e_1_3_2_1_46_1","first-page":"50","volume-title":"Proceedings of the Seventeenth European Conference on Computer Systems","author":"Danezis G.","year":"2022","unstructured":"G. Danezis, L. Kokoris-Kogias, A. Sonnino, and A. Spiegelman. Narwhal and Tusk: a DAG-based Mempool and Efficient BFT Consensus. In Proceedings of the Seventeenth European Conference on Computer Systems, pages 34\u201350, 2022."},{"key":"e_1_3_2_1_47_1","volume-title":"ACM SIGMOD International Conference on Management of Data (SIGMOD)","author":"Diaconu C.","year":"2013","unstructured":"C. Diaconu, C. Freedman, E. Ismert, P.-A. Larson, P. Mittal, R. Stonecipher, N. Verma, and M. Zwilling. Hekaton: SQL Server's Memory-optimized OLTP Engine. In ACM SIGMOD International Conference on Management of Data (SIGMOD), 2013."},{"key":"e_1_3_2_1_48_1","first-page":"312","volume-title":"Proceedings of the ACM Symposium on Principles of Distributed Computing","author":"Dickerson T.","year":"2017","unstructured":"T. Dickerson, P. Gazzillo, M. Herlihy, and E. Koskinen. Adding concurrency to smart contracts. In Proceedings of the ACM Symposium on Principles of Distributed Computing, pages 303\u2013312, 2017."},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings of the VLDB Endowment (PVLDB)","author":"Difallah D. E.","year":"2013","unstructured":"D. E. Difallah, A. Pavlo, C. Curino, and P. Cudre-Mauroux. OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases. In Proceedings of the VLDB Endowment (PVLDB), 2013."},{"key":"e_1_3_2_1_50_1","first-page":"106","volume-title":"Proceedings of the sixth conference on Computer systems","author":"Distler T.","year":"2011","unstructured":"T. Distler and R. Kapitza. Increasing performance in byzantine fault-tolerant systems with on-demand replica consistency. In Proceedings of the sixth conference on Computer systems, pages 91\u2013106, 2011."},{"key":"e_1_3_2_1_51_1","volume-title":"Consensus in the presence of partial synchrony. Journal of the ACM (JACM), 35(2):288\u2013323","author":"Dwork C.","year":"1988","unstructured":"C. Dwork, N. Lynch, and L. Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM (JACM), 35(2):288\u2013323, 1988."},{"issue":"11","key":"e_1_3_2_1_52_1","first-page":"1597","volume":"12","author":"El-Hindi M.","year":"2019","unstructured":"M. El-Hindi, C. Binnig, A. Arasu, D. Kossmann, and R. Ramamurthy. BlockchainDB: A Shared Database on Blockchains. Proceedings of the VLDB Endowment, 12(11):1597\u20131609, 2019.","journal-title":"BlockchainDB: A Shared Database on Blockchains. Proceedings of the VLDB Endowment"},{"issue":"11","key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1145\/360363.360369","article-title":"The notions of consistency and predicate locks in a database system","volume":"19","author":"Eswaran K. P.","year":"1976","unstructured":"K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The notions of consistency and predicate locks in a database system. Commun. ACM, 19(11):624\u2013633, Nov. 1976.","journal-title":"Commun. ACM"},{"key":"e_1_3_2_1_54_1","volume-title":"Rethinking serializable multiversion concurrency control. arXiv preprint arXiv:1412.2324","author":"Faleiro J. M.","year":"2014","unstructured":"J. M. Faleiro and D. J. Abadi. Rethinking serializable multiversion concurrency control. arXiv preprint arXiv:1412.2324, 2014."},{"key":"e_1_3_2_1_55_1","first-page":"244","volume-title":"Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming","author":"Gelashvili R.","year":"2023","unstructured":"R. Gelashvili, A. Spiegelman, Z. Xiang, G. Danezis, Z. Li, D. Malkhi, Y. Xia, and R. Zhou. Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing. In Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, pages 232\u2013244, 2023."},{"key":"e_1_3_2_1_56_1","first-page":"23","volume-title":"Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles","author":"Giridharan N.","year":"2024","unstructured":"N. Giridharan, F. Suri-Payer, I. Abraham, L. Alvisi, and N. Crooks. Autobahn: Seamless high speed BFT. In Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, pages 1\u201323, 2024."},{"key":"e_1_3_2_1_57_1","first-page":"580","volume-title":"SBFT: a Scalable and Decentralized Trust Infrastructure","author":"Gueta G. G.","year":"2019","unstructured":"G. G. Gueta, I. Abraham, S. Grossman, D. Malkhi, B. Pinkas, M. Reiter, D.-A. Seredinschi, O. Tamir, and A. Tomescu. SBFT: a Scalable and Decentralized Trust Infrastructure. pages 568\u2013580, 2019."},{"key":"e_1_3_2_1_58_1","first-page":"366","volume-title":"2011 6th international conference on pervasive computing and applications","author":"Han J.","unstructured":"J. Han, E. Haihong, G. Le, and J. Du. Survey on nosql database. In 2011 6th international conference on pervasive computing and applications, pages 363\u2013366. IEEE, 2011."},{"key":"e_1_3_2_1_59_1","first-page":"147","volume-title":"Proceedings of the 1981 ACM SIGMOD international conference on Management of data","author":"Jordan J.","year":"1981","unstructured":"J. Jordan, J. Banerjee, and R. Batman. Precision locks. In Proceedings of the 1981 ACM SIGMOD international conference on Management of data, pages 143\u2013147, 1981."},{"issue":"1","key":"e_1_3_2_1_60_1","first-page":"100116","article-title":"Databases fit for blockchain technology: A complete overview. Blockcha","volume":"4","author":"Kalajdjieski J.","year":"2023","unstructured":"J. Kalajdjieski, M. Raikwar, N. Arsov, G. Velinov, and D. Gligoroski. Databases fit for blockchain technology: A complete overview. Blockchain: Research and Applications, 4(1):100116, 2023.","journal-title":"Research and Applications"},{"key":"e_1_3_2_1_61_1","first-page":"598","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy (S&P)","author":"Kokoris-Kogias E.","year":"2018","unstructured":"E. Kokoris-Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta, and B. Ford. Omniledger: A Secure, Scale-Out, Decentralized Ledger via Sharding. In Proceedings of the IEEE Symposium on Security and Privacy (S&P), pages 583\u2013598, 2018."},{"key":"e_1_3_2_1_62_1","volume-title":"ACM Computing Surveys (CSUR), 32(4):422\u2013469","author":"D. Kossmann. The State of the Art in Distributed Query Processing.","year":"2000","unstructured":"D. Kossmann. The State of the Art in Distributed Query Processing. ACM Computing Surveys (CSUR), 32(4):422\u2013469, 2000."},{"issue":"6","key":"e_1_3_2_1_63_1","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1323293.1294267","article-title":"Zyzzyva","volume":"41","author":"Kotla R.","year":"2007","unstructured":"R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong. Zyzzyva: Speculative Byzantine Fault Tolerance. ACM SIGOPS Operating Systems Review, 41(6):45\u201358, 2007.","journal-title":"Speculative Byzantine Fault Tolerance. ACM SIGOPS Operating Systems Review"},{"key":"e_1_3_2_1_64_1","volume-title":"Securing Land Registration using Blockchain. Procedia computer science, 171:1708\u20131715","author":"Krishnapriya S.","year":"2020","unstructured":"S. Krishnapriya and G. Sarath. Securing Land Registration using Blockchain. Procedia computer science, 171:1708\u20131715, 2020."},{"key":"e_1_3_2_1_65_1","first-page":"323","volume-title":"17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)","author":"Lu H.","year":"2023","unstructured":"H. Lu, S. Mu, S. Sen, and W. Lloyd. {NCC}: Natural concurrency control for strictly serializable datastores by avoiding the {Timestamp-Inversion} pitfall. In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), pages 305\u2013323, 2023."},{"key":"e_1_3_2_1_66_1","volume-title":"BigchainDB-Whitepaper","author":"McConaghy T.","year":"2016","unstructured":"T. McConaghy, R. Marques, A. M\u00fcller, D. De Jonghe, T. McConaghy, G. McMullen, R. Henderson, S. Bellemare, and A. Granzotto. BigchainDB: A Scalable Blockchain Database. BigchainDB-Whitepaper, 2016."},{"key":"e_1_3_2_1_67_1","volume-title":"Join processing in relational databases. ACM Computing Surveys (CSUR), 24(1):63\u2013113","author":"Mishra P.","year":"1992","unstructured":"P. Mishra and M. H. Eich. Join processing in relational databases. ACM Computing Surveys (CSUR), 24(1):63\u2013113, 1992."},{"key":"e_1_3_2_1_68_1","unstructured":"A. Moon. ed25519-donna. https:\/\/github.com\/floodyberry\/ed25519-donna. last accessed 11\/11\/24."},{"key":"e_1_3_2_1_69_1","volume-title":"Blockchain Meets Database: Design and Implementation of a Blockchain Relational Database. arXiv preprint arXiv:1903.01919","author":"Nathan S.","year":"2019","unstructured":"S. Nathan, C. Govindarajan, A. Saraf, M. Sethi, and P. Jayachandran. Blockchain Meets Database: Design and Implementation of a Blockchain Relational Database. arXiv preprint arXiv:1903.01919, 2019."},{"key":"e_1_3_2_1_70_1","first-page":"689","volume-title":"Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data","author":"Neumann T.","year":"2015","unstructured":"T. Neumann, T. M\u00fchlbauer, and A. Kemper. Fast serializable multi-version concurrency control for main-memory database systems. In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, pages 677\u2013689, 2015."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/3035918.3056096","volume-title":"Proceedings of the 2017 ACM International Conference on Management of Data","author":"Pavlo A.","year":"2017","unstructured":"A. Pavlo. What are we doing with our lives? nobody cares about our concurrency control research. In Proceedings of the 2017 ACM International Conference on Management of Data, pages 3\u20133, 2017."},{"issue":"1","key":"e_1_3_2_1_72_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s13173-012-0060-z","article-title":"Byzantine fault-tolerant deferred update replication","volume":"18","author":"Pedone F.","year":"2012","unstructured":"F. Pedone and N. Schiper. Byzantine fault-tolerant deferred update replication. Journal of the Brazilian Computer Society, 18(1):3\u201318, 2012.","journal-title":"Journal of the Brazilian Computer Society"},{"key":"e_1_3_2_1_73_1","first-page":"652","volume-title":"Proceedings of the 2020 ACM SIGMOD international conference on management of data","author":"Peng Y.","year":"2020","unstructured":"Y. Peng, M. Du, F. Li, R. Cheng, and D. Song. FalconDB: Blockchain-based Collaborative Database. In Proceedings of the 2020 ACM SIGMOD international conference on management of data, pages 637\u2013652, 2020."},{"key":"e_1_3_2_1_74_1","unstructured":"PostgreSQL. http:\/\/www.postgresql.org\/."},{"key":"e_1_3_2_1_75_1","first-page":"1517","volume-title":"Proceedings of the 2021 International Conference on Management of Data","author":"Ruan P.","year":"2021","unstructured":"P. Ruan, T. T. A. Dinh, D. Loghin, M. Zhang, G. Chen, Q. Lin, and B. C. Ooi. Blockchains vs. Distributed databases: Dichotomy and Fusion. In Proceedings of the 2021 International Conference on Management of Data, pages 1504\u20131517, 2021."},{"issue":"4","key":"e_1_3_2_1_76_1","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1145\/98163.98167","article-title":"Implementing fault-tolerant services using the state machine approach: A tutorial","volume":"22","author":"Schneider F. B.","year":"1990","unstructured":"F. B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22(4):299\u2013319, 1990.","journal-title":"ACM Computing Surveys"},{"key":"e_1_3_2_1_77_1","volume-title":"CIDR","author":"Schuhknecht F. M.","year":"2021","unstructured":"F. M. Schuhknecht, A. Sharma, J. Dittrich, and D. Agrawal. chainifyDB: How to get rid of your Blockchain and use your DBMS instead. In CIDR, 2021."},{"key":"e_1_3_2_1_78_1","volume-title":"Database System Concepts","author":"Silbershatz A.","year":"2010","unstructured":"A. Silbershatz, H. Korth, and S. Sudarshan. Database System Concepts. McGraw-Hill, 6th edition, 2010.","edition":"6"},{"key":"e_1_3_2_1_79_1","first-page":"2718","volume-title":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","author":"Spiegelman A.","year":"2022","unstructured":"A. Spiegelman, N. Giridharan, A. Sonnino, and L. Kokoris-Kogias. Bullshark: DAG BFT Protocols Made Practical. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, pages 2705\u20132718, 2022."},{"key":"e_1_3_2_1_80_1","volume-title":"Mir-BFT: High-Throughput BFT for Blockchains. arXiv:1906.05552","author":"Stathakopoulou C.","year":"2019","unstructured":"C. Stathakopoulou, T. David, and M. Vukoli\u0107. Mir-BFT: High-Throughput BFT for Blockchains. arXiv:1906.05552, 2019."},{"key":"e_1_3_2_1_81_1","volume-title":"Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles","author":"Suri-Payer F.","year":"2021","unstructured":"F. Suri-Payer, M. Burke, Z. Wang, Y. Zhang, L. Alvisi, and N. Crooks. Basil: Breaking up BFT with ACID (transactions). In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021."},{"key":"e_1_3_2_1_82_1","first-page":"1509","volume-title":"Cockroachdb: The Resilient Geo-Distributed SQL Database. In Proceedings of the 2020 ACM SIGMOD international conference on management of data","author":"Taft R.","year":"2020","unstructured":"R. Taft, I. Sharif, A. Matei, N. VanBenschoten, J. Lewis, T. Grieger, K. Niemi, A. Woods, A. Birzin, R. Poss, et al. Cockroachdb: The Resilient Geo-Distributed SQL Database. In Proceedings of the 2020 ACM SIGMOD international conference on management of data, pages 1493\u20131509, 2020."},{"key":"e_1_3_2_1_83_1","unstructured":"Transaction Processing Performance Council. The TPC-C home page. http:\/\/www.tpc.org\/tpcc."},{"key":"e_1_3_2_1_84_1","first-page":"267","volume-title":"Proceedings of the ACM Symposium on Operating Systems Principles (SOSP)","author":"Yin J.","year":"2003","unstructured":"J. Yin, J.-P. Martin, A. Venkataramani, L. Alvisi, and M. Dahlin. Separating agreement from execution for Byzantine fault tolerant services. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), pages 253\u2013267, 2003."},{"key":"e_1_3_2_1_85_1","first-page":"356","volume-title":"Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC)","author":"Yin M.","year":"2019","unstructured":"M. Yin, D. Malkhi, M. K. Reiter, G. G. Gueta, and I. Abraham. HotStuff: BFT Consensus with Linearity and Responsiveness. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), pages 347\u2013356, 2019."},{"key":"e_1_3_2_1_86_1","volume-title":"Distributed Query processing. ACM computing surveys (CSUR), 16(4):399\u2013433","author":"Yu C. T.","year":"1984","unstructured":"C. T. Yu and C. Chang. Distributed Query processing. ACM computing surveys (CSUR), 16(4):399\u2013433, 1984."},{"issue":"1","key":"e_1_3_2_1_87_1","first-page":"27","article-title":"When is operation ordering required in replicated transactional storage?","volume":"39","author":"Zhang I.","year":"2016","unstructured":"I. Zhang, N. K. Sharma, A. Szekeres, A. Krishnamurthy, and D. R. Ports. When is operation ordering required in replicated transactional storage? IEEE Data Engineering Bulletin, 39(1):27\u201338, 2016.","journal-title":"IEEE Data Engineering Bulletin"},{"key":"e_1_3_2_1_88_1","first-page":"278","volume-title":"Ports. Building Consistent Transactions with Inconsistent Replication. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP)","author":"Zhang I.","year":"2015","unstructured":"I. Zhang, N. K. Sharma, A. Szekeres, A. Krishnamurthy, and D. R. K. Ports. Building Consistent Transactions with Inconsistent Replication. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), pages 263\u2013278, 2015."},{"key":"e_1_3_2_1_89_1","first-page":"649","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Zhang Y.","year":"2020","unstructured":"Y. Zhang, S. Setty, Q. Chen, L. Zhou, and L. Alvisi. Byzantine Ordered Consensus without Byzantine Oligarchy. In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 633\u2013649, 2020."},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1016\/j.future.2019.12.019","article-title":"An overview on smart contracts: Challenges, advances and platforms","volume":"105","author":"Zheng Z.","year":"2020","unstructured":"Z. Zheng, S. Xie, H.-N. Dai, W. Chen, X. Chen, J. Weng, and M. Imran. An overview on smart contracts: Challenges, advances and platforms. Future Generation Computer Systems, 105:475\u2013491, 2020.","journal-title":"Future Generation Computer Systems"}],"event":{"name":"SOSP '25: ACM SIGOPS 31st Symposium on Operating Systems Principles","location":"Lotte Hotel World Seoul Republic of Korea","acronym":"SOSP '25","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles"],"original-title":[],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T12:57:19Z","timestamp":1759323439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731569.3764799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"references-count":90,"alternative-id":["10.1145\/3731569.3764799","10.1145\/3731569"],"URL":"https:\/\/doi.org\/10.1145\/3731569.3764799","relation":{},"subject":[],"published":{"date-parts":[[2025,10,12]]},"assertion":[{"value":"2025-10-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}