{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:33Z","timestamp":1750219953334,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,12]],"date-time":"2022-06-12T00:00:00Z","timestamp":1654992000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FWO","award":["G019921N."],"award-info":[{"award-number":["G019921N."]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,12]]},"DOI":"10.1145\/3517804.3524162","type":"proceedings-article","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T13:29:54Z","timestamp":1655126994000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Robustness Against Read Committed"],"prefix":"10.1145","author":[{"given":"Brecht","family":"Vandevoort","sequence":"first","affiliation":[{"name":"Hasselt University, Hasselt, Belgium"}]},{"given":"Bas","family":"Ketsman","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Brussels, Belgium"}]},{"given":"Christoph","family":"Koch","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"}]},{"given":"Frank","family":"Neven","sequence":"additional","affiliation":[{"name":"Hasselt University, Hasselt, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2022,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"O'Neil","author":"Adya Atul","year":"2000","unstructured":"Atul Adya , Barbara Liskov , and Patrick E . O'Neil . 2000 . Generalized Isolation Level Definitions. In ICDE. 67--78. Atul Adya, Barbara Liskov, and Patrick E. O'Neil. 2000. Generalized Isolation Level Definitions. In ICDE. 67--78."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Mohammad Alomari Michael Cahill Alan Fekete and Uwe Rohm. 2008. The Cost of Serializability on Platforms That Use Snapshot Isolation. In ICDE. 576--585.  Mohammad Alomari Michael Cahill Alan Fekete and Uwe Rohm. 2008. The Cost of Serializability on Platforms That Use Snapshot Isolation. In ICDE. 576--585.","DOI":"10.1109\/ICDE.2008.4497466"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Mohammad Alomari and Alan Fekete. 2015. Serializable use of Read Committed isolation level. In AICCSA. 1--8.  Mohammad Alomari and Alan Fekete. 2015. Serializable use of Read Committed isolation level. In AICCSA. 1--8.","DOI":"10.1109\/AICCSA.2015.7507103"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_2_1_5_1","unstructured":"Peter Bailis Alan Fekete Ali Ghodsi Joseph M. Hellerstein and Ion Stoica. 2013. HAT Not CAP: Towards Highly Available Transactions. In USENIX HotOS. 24--24.  Peter Bailis Alan Fekete Ali Ghodsi Joseph M. Hellerstein and Ion Stoica. 2013. HAT Not CAP: Towards Highly Available Transactions. In USENIX HotOS. 24--24."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Sidi Mohamed Beillahi Ahmed Bouajjani and Constantin Enea. 2019. Checking Robustness Against Snapshot Isolation. In CAV. 286--304.  Sidi Mohamed Beillahi Ahmed Bouajjani and Constantin Enea. 2019. Checking Robustness Against Snapshot Isolation. In CAV. 286--304.","DOI":"10.1007\/978-3-030-25543-5_17"},{"key":"e_1_3_2_1_7_1","unstructured":"Sidi Mohamed Beillahi Ahmed Bouajjani and Constantin Enea. 2019. Robustness Against Transactional Causal Consistency. In CONCUR. 1--18.  Sidi Mohamed Beillahi Ahmed Bouajjani and Constantin Enea. 2019. Robustness Against Transactional Causal Consistency. In CONCUR. 1--18."},{"key":"e_1_3_2_1_8_1","volume-title":"O'Neil","author":"Berenson Hal","year":"1995","unstructured":"Hal Berenson , Philip A. Bernstein , Jim Gray , Jim Melton , Elizabeth J. O'Neil , and Patrick E . O'Neil . 1995 . A Critique of ANSI SQL Isolation Levels. In SIGMOD. 1--10. Hal Berenson, Philip A. Bernstein, Jim Gray, Jim Melton, Elizabeth J. O'Neil, and Patrick E. O'Neil. 1995. A Critique of ANSI SQL Isolation Levels. In SIGMOD. 1--10."},{"key":"e_1_3_2_1_9_1","first-page":"1","article-title":"Robustness against Consistency Models with Atomic Visibility","volume":"7","author":"Bernardi Giovanni","year":"2016","unstructured":"Giovanni Bernardi and Alexey Gotsman . 2016 . Robustness against Consistency Models with Atomic Visibility . In CONCUR. 7 : 1 -- 7 :15. Giovanni Bernardi and Alexey Gotsman. 2016. Robustness against Consistency Models with Atomic Visibility. In CONCUR. 7:1--7:15.","journal-title":"CONCUR."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Philip A. Bernstein Sudipto Das Bailu Ding and Markus Pilman. 2015. Optimizing Optimistic Concurrency Control for Tree-Structured Log-Structured Databases. In SIGMOD. 1295--1309.  Philip A. Bernstein Sudipto Das Bailu Ding and Markus Pilman. 2015. Optimizing Optimistic Concurrency Control for Tree-Structured Log-Structured Databases. In SIGMOD. 1295--1309.","DOI":"10.1145\/2723372.2737788"},{"key":"e_1_3_2_1_11_1","unstructured":"Philip A. Bernstein Colin W. Reid and Sudipto Das. 2011. Hyder - A Transactional Record Manager for Shared Flash. In CIDR. 9--20.  Philip A. Bernstein Colin W. Reid and Sudipto Das. 2011. Hyder - A Transactional Record Manager for Shared Flash. In CIDR. 9--20."},{"key":"e_1_3_2_1_12_1","unstructured":"Andrea Cerone Giovanni Bernardi and Alexey Gotsman. 2015. A Framework for Transactional Consistency Models with Atomic Visibility. In CONCUR. 58--71.  Andrea Cerone Giovanni Bernardi and Alexey Gotsman. 2015. A Framework for Transactional Consistency Models with Atomic Visibility. In CONCUR. 58--71."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3152396"},{"key":"e_1_3_2_1_14_1","first-page":"388","article-title":"Transaction Chopping for Parallel Snapshot Isolation","volume":"9363","author":"Cerone Andrea","year":"2015","unstructured":"Andrea Cerone , Alexey Gotsman , and Hongseok Yang . 2015 . Transaction Chopping for Parallel Snapshot Isolation . In DISC , Vol. 9363. 388 -- 404 . Andrea Cerone, Alexey Gotsman, and Hongseok Yang. 2015. Transaction Chopping for Parallel Snapshot Isolation. In DISC, Vol. 9363. 388--404.","journal-title":"DISC"},{"key":"e_1_3_2_1_15_1","first-page":"1","article-title":"Algebraic Laws for Weak Consistency","volume":"26","author":"Cerone Andrea","year":"2017","unstructured":"Andrea Cerone , Alexey Gotsman , and Hongseok Yang . 2017 . Algebraic Laws for Weak Consistency . In CONCUR. 26 : 1 -- 26 :18. Andrea Cerone, Alexey Gotsman, and Hongseok Yang. 2017. Algebraic Laws for Weak Consistency. In CONCUR. 26:1--26:18.","journal-title":"CONCUR."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2463710"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Bailu Ding Lucja Kot Alan J. Demers and Johannes Gehrke. 2015. Centiman: elastic high performance optimistic concurrency control by watermarking. In SoCC. 262--275.  Bailu Ding Lucja Kot Alan J. Demers and Johannes Gehrke. 2015. Centiman: elastic high performance optimistic concurrency control by watermarking. In SoCC. 262--275.","DOI":"10.1145\/2806777.2806837"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055553"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/2809974.2809981"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Alan Fekete. 2005. Allocating isolation levels to transactions. In PODS. 206--215.  Alan Fekete. 2005. Allocating isolation levels to transactions. In PODS. 206--215.","DOI":"10.1145\/1065167.1065193"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/3303753.3303763"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.14778\/3377369.3377373"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687682"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Evan P. C. Jones Daniel J. Abadi and Samuel Madden. 2010. Low overhead concurrency control for partitioned main memory databases. In SIGMOD. 603--614.  Evan P. C. Jones Daniel J. Abadi and Samuel Madden. 2010. Low overhead concurrency control for partitioned main memory databases. In SIGMOD. 603--614.","DOI":"10.1145\/1807167.1807233"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Bas Ketsman Christoph Koch Frank Neven and Brecht Vandevoort. 2020. Deciding Robustness for Lower SQL Isolation Levels. In PODS. 315--330.  Bas Ketsman Christoph Koch Frank Neven and Brecht Vandevoort. 2020. Deciding Robustness for Lower SQL Isolation Levels. In PODS. 315--330.","DOI":"10.1145\/3375395.3387655"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882905"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14778\/2095686.2095689"},{"key":"e_1_3_2_1_29_1","volume-title":"Andersen","author":"Lim Hyeontaek","year":"2017","unstructured":"Hyeontaek Lim , Michael Kaminsky , and David G . Andersen . 2017 . Cicada : Dependably Fast Multi-Core In-Memory Transactions. In SIGMOD. 21--35. Hyeontaek Lim, Michael Kaminsky, and David G. Andersen. 2017. Cicada: Dependably Fast Multi-Core In-Memory Transactions. In SIGMOD. 21--35."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407808"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Thomas Neumann Tobias M\u00fchlbauer and Alfons Kemper. 2015. Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems. In SIGMOD. 677--689.  Thomas Neumann Tobias M\u00fchlbauer and Alfons Kemper. 2015. Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems. In SIGMOD. 677--689.","DOI":"10.1145\/2723372.2749436"},{"volume-title":"The Theory of Database Concurrency Control","author":"Papadimitriou Christos H.","key":"e_1_3_2_1_32_1","unstructured":"Christos H. Papadimitriou . 1986. The Theory of Database Concurrency Control . Computer Science Press . Christos H. Papadimitriou. 1986. The Theory of Database Concurrency Control. Computer Science Press."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Guna Prasaad Alvin Cheung and Dan Suciu. 2020. Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning. In SIGMOD. 527--542.  Guna Prasaad Alvin Cheung and Dan Suciu. 2020. Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning. In SIGMOD. 527--542.","DOI":"10.1145\/3318464.3389764"},{"key":"e_1_3_2_1_34_1","volume-title":"Abadi","author":"Ren Kun","year":"2016","unstructured":"Kun Ren , Jose M. Faleiro , and Daniel J . Abadi . 2016 . Design Principles for Scaling Multi-core OLTP Under High Contention. In SIGMOD. 1583--1598. Kun Ren, Jose M. Faleiro, and Daniel J. Abadi. 2016. Design Principles for Scaling Multi-core OLTP Under High Contention. In SIGMOD. 1583--1598."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342647"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.14778\/2535568.2448947"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.14778\/2733004.2733006"},{"key":"e_1_3_2_1_38_1","volume-title":"Felix Martin Schuhknecht, and Jens Dittrich","author":"Sharma Ankur","year":"2018","unstructured":"Ankur Sharma , Felix Martin Schuhknecht, and Jens Dittrich . 2018 . Accelerating Analytical Processing in MVCC using Fine-Granular High-Frequency Virtual Snapshotting. In SIGMOD. 245--258. Ankur Sharma, Felix Martin Schuhknecht, and Jens Dittrich. 2018. Accelerating Analytical Processing in MVCC using Fine-Granular High-Frequency Virtual Snapshotting. In SIGMOD. 245--258."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/211414.211427"},{"key":"e_1_3_2_1_40_1","unstructured":"Yangjun Sheng Anthony Tomasic Tieying Zhang and Andrew Pavlo. 2019. Scheduling OLTP transactions via learned abort prediction. In aiDM. 1:1--1:8.  Yangjun Sheng Anthony Tomasic Tieying Zhang and Andrew Pavlo. 2019. Scheduling OLTP transactions via learned abort prediction. In aiDM. 1:1--1:8."},{"key":"e_1_3_2_1_41_1","volume-title":"Abadi","author":"Thomson Alexander","year":"2012","unstructured":"Alexander Thomson , Thaddeus Diamond , Shu-Chun Weng , Kun Ren , Philip Shao , and Daniel J . Abadi . 2012 . Calvin: fast distributed transactions for partitioned database systems. In SIGMOD. 1--12. Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, and Daniel J. Abadi. 2012. Calvin: fast distributed transactions for partitioned database systems. In SIGMOD. 1--12."},{"key":"e_1_3_2_1_42_1","first-page":"648","article-title":"Contention-Aware Lock Scheduling for Transactional Databases","volume":"11","author":"Tian Boyu","year":"2018","unstructured":"Boyu Tian , Jiamin Huang , Barzan Mozafari , and Grant Schoenebeck . 2018 . Contention-Aware Lock Scheduling for Transactional Databases . PVLDB 11 , 5 (2018), 648 -- 662 . Boyu Tian, Jiamin Huang, Barzan Mozafari, and Grant Schoenebeck. 2018. Contention-Aware Lock Scheduling for Transactional Databases. PVLDB 11, 5 (2018), 648--662.","journal-title":"PVLDB"},{"key":"e_1_3_2_1_43_1","unstructured":"TPC-C. 1992. On-Line Transaction Processing Benchmark. (1992). http:\/\/www.tpc.org\/tpcc\/.  TPC-C. 1992. On-Line Transaction Processing Benchmark. (1992). http:\/\/www.tpc.org\/tpcc\/."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476249.3476268"},{"key":"e_1_3_2_1_46_1","unstructured":"Brecht Vandevoort Bas Ketsman Christoph Koch and Frank Neven. 2022. Detecting Robustness against MVRC for Transaction Programs with Predicate Reads. (2022). Manuscript.  Brecht Vandevoort Bas Ketsman Christoph Koch and Frank Neven. 2022. Detecting Robustness against MVRC for Transaction Programs with Predicate Reads. (2022). Manuscript."},{"key":"e_1_3_2_1_47_1","first-page":"1","article-title":"Robustness against Read Committed for Transaction Templates with Functional Constraints","volume":"220","author":"Vandevoort Brecht","year":"2022","unstructured":"Brecht Vandevoort , Bas Ketsman , Christoph Koch , and Frank Neven . 2022 . Robustness against Read Committed for Transaction Templates with Functional Constraints . In ICDT , Vol. 220. 16: 1 -- 16 :17. Brecht Vandevoort, Bas Ketsman, Christoph Koch, and Frank Neven. 2022. Robustness against Read Committed for Transaction Templates with Functional Constraints. In ICDT, Vol. 220. 16:1--16:17.","journal-title":"ICDT"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Gerhard Weikum and Gottfried Vossen. 2002. Transactional Information Systems: Theory Algorithms and the Practice of Concurrency Control and Recovery. Morgan Kaufmann.  Gerhard Weikum and Gottfried Vossen. 2002. Transactional Information Systems: Theory Algorithms and the Practice of Concurrency Control and Recovery. Morgan Kaufmann.","DOI":"10.1016\/B978-155860508-4\/50005-3"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.14778\/2876473.2876479"},{"key":"e_1_3_2_1_50_1","unstructured":"Xiangyao Yu Andrew Pavlo Daniel S\u00e1nchez and Srinivas Devadas. 2016. TicToc: Time Traveling Optimistic Concurrency Control. In SIGMOD. 1629--1642.  Xiangyao Yu Andrew Pavlo Daniel S\u00e1nchez and Srinivas Devadas. 2016. TicToc: Time Traveling Optimistic Concurrency Control. In SIGMOD. 1629--1642."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.14778\/2904121.2904126"}],"event":{"name":"SIGMOD\/PODS '22: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Philadelphia PA USA","acronym":"SIGMOD\/PODS '22"},"container-title":["Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517804.3524162","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3517804.3524162","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:04Z","timestamp":1750182544000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517804.3524162"}},"subtitle":["A Free Transactional Lunch"],"short-title":[],"issued":{"date-parts":[[2022,6,12]]},"references-count":50,"alternative-id":["10.1145\/3517804.3524162","10.1145\/3517804"],"URL":"https:\/\/doi.org\/10.1145\/3517804.3524162","relation":{},"subject":[],"published":{"date-parts":[[2022,6,12]]},"assertion":[{"value":"2022-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}