{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T22:37:07Z","timestamp":1778279827631,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T00:00:00Z","timestamp":1500940800000},"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-1718709 & CNS-1409555"],"award-info":[{"award-number":["CNS-1718709 & CNS-1409555"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","award":["Faculty Research Award and Doctoral Fellowship"],"award-info":[{"award-number":["Faculty Research Award and Doctoral Fellowship"]}],"id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,25]]},"DOI":"10.1145\/3087801.3087802","type":"proceedings-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T17:51:38Z","timestamp":1500573098000},"page":"73-82","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["Seeing is Believing"],"prefix":"10.1145","author":[{"given":"Natacha","family":"Crooks","sequence":"first","affiliation":[{"name":"The University of Texas at Austin & Cornell University, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youer","family":"Pu","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Alvisi","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin & Cornell University, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allen","family":"Clement","sequence":"additional","affiliation":[{"name":"Google, Inc., Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Facebook. http:\/\/www.facebook.com\/.  Facebook. http:\/\/www.facebook.com\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/259380.259425"},{"key":"e_1_3_2_1_4_1","volume-title":"Causal memory: Definitions, implementation and programming. Tech. rep","author":"Ahamad M.","year":"1994","unstructured":"Ahamad , M. , Neiger , G. , Burns , J. E. , Kohli , P. , and Hutto , P . Causal memory: Definitions, implementation and programming. Tech. rep ., Georgia Institute of Technology , 1994 . Ahamad, M., Neiger, G., Burns, J. E., Kohli, P., and Hutto, P. Causal memory: Definitions, implementation and programming. Tech. rep., Georgia Institute of Technology, 1994."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 15th USENIX Conference on Hot Topics in Operating Systems (2015), HOTOS'15.","author":"Ajoux P.","unstructured":"Ajoux , P. , Bronson , N. , Kumar , S. , Lloyd , W. , and Veeraraghavan , K . Challenges to adopting stronger consistency at scale . In Proceedings of the 15th USENIX Conference on Hot Topics in Operating Systems (2015), HOTOS'15. Ajoux, P., Bronson, N., Kumar, S., Lloyd, W., and Veeraraghavan, K. Challenges to adopting stronger consistency at scale. In Proceedings of the 15th USENIX Conference on Hot Topics in Operating Systems (2015), HOTOS'15."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523632"},{"key":"e_1_3_2_1_7_1","unstructured":"Amazon elastic compute cloud. http:\/\/aws.amazon.com\/ec2\/.  Amazon elastic compute cloud. http:\/\/aws.amazon.com\/ec2\/."},{"key":"e_1_3_2_1_8_1","unstructured":"Apache. Cassandra. http:\/\/cassandra.apache.org\/.  Apache. Cassandra. http:\/\/cassandra.apache.org\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.25"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2767386.2767419"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2737784"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909870"},{"key":"e_1_3_2_1_14_1","unstructured":"Basho. Riak. http:\/\/basho.com\/products\/.  Basho. Riak. http:\/\/basho.com\/products\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/568271.223785"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356846"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/319996.319998"},{"key":"e_1_3_2_1_18_1","volume-title":"Concurrency control and recovery in database systems","author":"Bernstein P. A.","year":"1987","unstructured":"Bernstein , P. A. , Hadzilacos , V. , and Goodman , N . Concurrency control and recovery in database systems . 1987 . Bernstein, P. A., Hadzilacos, V., and Goodman, N. Concurrency control and recovery in database systems. 1987."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 12th Euromicro Conference on Parallel, Distributed and Network based Processing (2004), PDP 2004.","author":"Brzezinski B.","unstructured":"Brzezinski , B. , Sobaniec , C. , and D., W. From session causality to causal consistency . In Proceedings of the 12th Euromicro Conference on Parallel, Distributed and Network based Processing (2004), PDP 2004. Brzezinski, B., Sobaniec, C., and D., W. From session causality to causal consistency. In Proceedings of the 12th Euromicro Conference on Parallel, Distributed and Network based Processing (2004), PDP 2004."},{"key":"e_1_3_2_1_20_1","volume-title":"26th International Conference on Concurrency Theory, CONCUR 2015","author":"Cerone A.","year":"2015","unstructured":"Cerone , A. , Bernardi , G. , and Gotsman , A . A framework for transactional consistency models with atomic visibility . In 26th International Conference on Concurrency Theory, CONCUR 2015 , ( 2015 ). Cerone, A., Bernardi, G., and Gotsman, A. A framework for transactional consistency models with atomic visibility. In 26th International Conference on Concurrency Theory, CONCUR 2015, (2015)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933057.2933096"},{"key":"e_1_3_2_1_22_1","volume-title":"Seeing is believing: A client-centric specification of database isolation","author":"Crooks N.","year":"2017","unstructured":"Crooks , N. , Pu , Y. , Alvisi , L. , and Clement , A . Seeing is believing: A client-centric specification of database isolation . Tech. Rep. TR-17-06, Computer Science Department , UT Austin, May 2017 . Crooks, N., Pu, Y., Alvisi, L., and Clement, A. Seeing is believing: A client-centric specification of database isolation. Tech. Rep. TR-17-06, Computer Science Department, UT Austin, May 2017."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882951"},{"key":"e_1_3_2_1_24_1","first-page":"715","volume-title":"Proceedings of the 32nd International Conference on Very Large Data Bases (2006), VLDB '06, VLDB Endowment","author":"Daudjee K.","unstructured":"Daudjee , K. , and Salem , K . Lazy database replication with snapshot isolation . In Proceedings of the 32nd International Conference on Very Large Data Bases (2006), VLDB '06, VLDB Endowment , pp. 715 -- 726 . Daudjee, K., and Salem, K. Lazy database replication with snapshot isolation. In Proceedings of the 32nd International Conference on Very Large Data Bases (2006), VLDB '06, VLDB Endowment, pp. 715--726."},{"key":"e_1_3_2_1_25_1","volume-title":"Warp: Lightweight multi-key transactions for key-value stores. CoRR abs\/1509.07815","author":"Escriva R.","year":"2015","unstructured":"Escriva , R. , Wong , B. , and Sirer , E. G . Warp: Lightweight multi-key transactions for key-value stores. CoRR abs\/1509.07815 ( 2015 ). Escriva, R., Wong, B., and Sirer, E. G. Warp: Lightweight multi-key transactions for key-value stores. CoRR abs\/1509.07815 (2015)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055553"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_3_2_1_28_1","unstructured":"Google. Bigtable - massively scalable nosql. https:\/\/cloud.google.com\/bigtable\/.  Google. Bigtable - massively scalable nosql. https:\/\/cloud.google.com\/bigtable\/."},{"key":"e_1_3_2_1_29_1","unstructured":"Google. Cloud sql - fully managed sql service. https:\/\/cloud.google.com\/sql\/.  Google. Cloud sql - fully managed sql service. https:\/\/cloud.google.com\/sql\/."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345233"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.04.037"},{"key":"e_1_3_2_1_33_1","first-page":"4","volume":"27","author":"Kotla R.","year":"2010","unstructured":"Kotla , R. , Alvisi , L. , Dahlin , M. , Clement , A. , and Wong , E. Zyzzyva: Speculative Byzantine Fault Tolerance. ACM Transactions on Computer Systems 27 , 4 ( Jan. 2010 ), 7:1--7:39. Kotla, R., Alvisi, L., Dahlin, M., Clement, A., and Wong, E. Zyzzyva: Speculative Byzantine Fault Tolerance. ACM Transactions on Computer Systems 27, 4 (Jan. 2010), 7:1--7:39.","journal-title":"Zyzzyva: Speculative Byzantine Fault Tolerance. ACM Transactions on Computer Systems"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465363"},{"key":"e_1_3_2_1_35_1","first-page":"83","volume":"16","author":"Kripke S. A.","year":"1963","unstructured":"Kripke , S. A. Semantical considerations on modal logic. Acta Philosophica Fennica 16 , 1963 (1963), 83 -- 94 . Kripke, S. A. Semantical considerations on modal logic. Acta Philosophica Fennica 16, 1963 (1963), 83--94.","journal-title":"Acta Philosophica Fennica"},{"key":"e_1_3_2_1_36_1","volume-title":"Consistency, availability, convergence","author":"Mahajan P.","year":"2011","unstructured":"Mahajan , P. , Alvisi , L. , and Dahlin , M . Consistency, availability, convergence . Tech. Rep. TR-11--22, Computer Science Department , UT Austin, May 2011 . Mahajan, P., Alvisi, L., and Dahlin, M. Consistency, availability, convergence. Tech. Rep. TR-11--22, Computer Science Department, UT Austin, May 2011."},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (2017), NSDI '17.","author":"Mehdi A.","unstructured":"Mehdi , A. , Littley , C. , Crooks , N. , Alvisi , L. , and Lloyd , W . I can't believe it's not causal . In Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (2017), NSDI '17. Mehdi, A., Littley, C., Crooks, N., Alvisi, L., and Lloyd, W. I can't believe it's not causal. In Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (2017), NSDI '17."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (2014), NSDI'14.","author":"Mickens J.","unstructured":"Mickens , J. , Nightingale , E. B. , Elson , J. , Gehring , D. , Fan , B. , Kadav , A. , Chidambaram , V. , Khan , O. , and Nareddy , K . Blizzard: Fast, Cloud-Scale Block Storage for Cloud-Oblivious Applications . In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (2014), NSDI'14. Mickens, J., Nightingale, E. B., Elson, J., Gehring, D., Fan, B., Kadav, A., Chidambaram, V., Khan, O., and Nareddy, K. Blizzard: Fast, Cloud-Scale Block Storage for Cloud-Oblivious Applications. In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (2014), NSDI'14."},{"key":"e_1_3_2_1_39_1","unstructured":"Microsoft. Azure sql database. https:\/\/https:\/\/azure.microsoft.com\/en-us\/services\/sql-database\/?v=16.50.  Microsoft. Azure sql database. https:\/\/https:\/\/azure.microsoft.com\/en-us\/services\/sql-database\/?v=16.50."},{"key":"e_1_3_2_1_40_1","unstructured":"Microsoft. Azure storage - secure cloud storage. https:\/\/azure.microsoft.com\/en-us\/services\/storage\/.  Microsoft. Azure storage - secure cloud storage. https:\/\/azure.microsoft.com\/en-us\/services\/storage\/."},{"key":"e_1_3_2_1_41_1","unstructured":"Microsoft. Documentdb - nosql service for json. https:\/\/azure.microsoft.com\/en-us\/services\/documentdb\/.  Microsoft. Documentdb - nosql service for json. https:\/\/azure.microsoft.com\/en-us\/services\/documentdb\/."},{"key":"e_1_3_2_1_42_1","unstructured":"Microsoft. SQL Server. https:\/\/https:\/\/www.microsoft.com\/en-cy\/sql-server\/sql-server-2016.  Microsoft. SQL Server. https:\/\/https:\/\/www.microsoft.com\/en-cy\/sql-server\/sql-server-2016."},{"key":"e_1_3_2_1_43_1","first-page":"479","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (Berkeley, CA, USA, 2014), OSDI'14, USENIX Association","author":"Mu S.","unstructured":"Mu , S. , Cui , Y. , Zhang , Y. , Lloyd , W. , and Li , J . Extracting more concurrency from distributed transactions . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (Berkeley, CA, USA, 2014), OSDI'14, USENIX Association , pp. 479 -- 494 . Mu, S., Cui, Y., Zhang, Y., Lloyd, W., and Li, J. Extracting more concurrency from distributed transactions. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (Berkeley, CA, USA, 2014), OSDI'14, USENIX Association, pp. 479--494."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394441.1394442"},{"key":"e_1_3_2_1_45_1","unstructured":"Oracle. MySQL Cluster. https:\/\/www.mysql.com\/products\/cluster\/.  Oracle. MySQL Cluster. https:\/\/www.mysql.com\/products\/cluster\/."},{"key":"e_1_3_2_1_46_1","unstructured":"Oracle. Oracle 12c. https:\/\/docs.oracle.com\/database\/121\/.  Oracle. Oracle 12c. https:\/\/docs.oracle.com\/database\/121\/."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_1_48_1","volume-title":"24th IEEE Symposium on Reliable Distributed Systems","author":"Pedone F.","year":"2005","unstructured":"Pedone , F. , Zwaenepoel , W. , and Elnikety , S . Database replication using generalized snapshot isolation . 24th IEEE Symposium on Reliable Distributed Systems ( 2005 ), 73--84. Pedone, F., Zwaenepoel, W., and Elnikety, S. Database replication using generalized snapshot isolation. 24th IEEE Symposium on Reliable Distributed Systems (2005), 73--84."},{"key":"e_1_3_2_1_49_1","first-page":"43","volume-title":"Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (Berkeley, CA, USA, 2015), NSDI'15","author":"Ports D. R. K.","unstructured":"Ports , D. R. K. , Li , J. , Liu , V. , Sharma , N. K. , and Krishnamurthy , A . Designing distributed systems using approximate synchrony in data center networks . In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (Berkeley, CA, USA, 2015), NSDI'15 , pp. 43 -- 57 . Ports, D. R. K., Li, J., Liu, V., Sharma, N. K., and Krishnamurthy, A. Designing distributed systems using approximate synchrony in data center networks. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (Berkeley, CA, USA, 2015), NSDI'15, pp. 43--57."},{"key":"e_1_3_2_1_50_1","unstructured":"Postgres. Postgresql. http:\/\/www.postgresql.org\/.  Postgres. Postgresql. http:\/\/www.postgresql.org\/."},{"key":"e_1_3_2_1_51_1","unstructured":"SAP. Hana. https:\/\/www.sap.com\/products\/hana.html.  SAP. Hana. https:\/\/www.sap.com\/products\/hana.html."},{"key":"e_1_3_2_1_52_1","volume-title":"27th International Conference on Concurrency Theory (CONCUR 2016)","author":"Shapiro M.","year":"2016","unstructured":"Shapiro , M. , Ardekani , M. S. , and Petri , G . Consistency in 3d (invited paper) . In 27th International Conference on Concurrency Theory (CONCUR 2016) ( 2016 ). Shapiro, M., Ardekani, M. S., and Petri, G. Consistency in 3d (invited paper). In 27th International Conference on Concurrency Theory (CONCUR 2016) (2016)."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064031"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDIS.1994.331722"},{"key":"e_1_3_2_1_56_1","unstructured":"Twitter. Twitter. https:\/\/www.twitter.com\/.  Twitter. Twitter. https:\/\/www.twitter.com\/."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2926965"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064037"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/103140.103145"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815430"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815404"}],"event":{"name":"PODC '17: ACM Symposium on Principles of Distributed Computing","location":"Washington DC USA","acronym":"PODC '17","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087801.3087802","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3087801.3087802","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3087801.3087802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:14Z","timestamp":1750217414000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087801.3087802"}},"subtitle":["A Client-Centric Specification of Database Isolation"],"short-title":[],"issued":{"date-parts":[[2017,7,25]]},"references-count":60,"alternative-id":["10.1145\/3087801.3087802","10.1145\/3087801"],"URL":"https:\/\/doi.org\/10.1145\/3087801.3087802","relation":{},"subject":[],"published":{"date-parts":[[2017,7,25]]},"assertion":[{"value":"2017-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}