{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:50Z","timestamp":1750306130473,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,7]],"date-time":"2017-05-07T00:00:00Z","timestamp":1494115200000},"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":[[2017,5,7]]},"DOI":"10.1145\/3102980.3102994","type":"proceedings-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T17:51:38Z","timestamp":1500573098000},"page":"82-87","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Consistency Oracles"],"prefix":"10.1145","author":[{"given":"Beom Heyn","family":"Kim","sequence":"first","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sukwon","family":"Oh","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lie","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Amazon. 2017. Amazon S3 Data Consistency Model. (2017). http:\/\/docs.aws.amazon.com\/AmazonS3\/latest\/dev\/Introduction.html#ConsistencyModel.  Amazon. 2017. Amazon S3 Data Consistency Model. (2017). http:\/\/docs.aws.amazon.com\/AmazonS3\/latest\/dev\/Introduction.html#ConsistencyModel."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Sixth International Conference on Hot Topics in System Dependability (HotDep'10)","author":"Anderson Eric","year":"1924","unstructured":"Eric Anderson , Xiaozhou Li , Mehul A. Shah , Joseph Tucek , and Jay J. Wylie . 2010. What Consistency Does Your Key-value Store Actually Provide? . In Proceedings of the Sixth International Conference on Hot Topics in System Dependability (HotDep'10) . USENIX Association, Berkeley, CA, USA, 1--16. http:\/\/dl.acm.org\/citation.cfm?id= 1924 908.1924919 Eric Anderson, Xiaozhou Li, Mehul A. Shah, Joseph Tucek, and Jay J. Wylie. 2010. What Consistency Does Your Key-value Store Actually Provide?. In Proceedings of the Sixth International Conference on Hot Topics in System Dependability (HotDep'10). USENIX Association, Berkeley, CA, USA, 1--16. http:\/\/dl.acm.org\/citation.cfm?id=1924908.1924919"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212359"},{"key":"e_1_3_2_1_4_1","volume-title":"Towards Comprehensive Measurement of Consistency Guarantees for Cloud-Hosted Data Storage Services. In The 5th TPC Technology Conference on Performance Evaluation & Benchmarking (TPCTC","author":"Bermbach David","year":"2013","unstructured":"David Bermbach , Sherif Sakr , and Liang Zhao . 2013 . Towards Comprehensive Measurement of Consistency Guarantees for Cloud-Hosted Data Storage Services. In The 5th TPC Technology Conference on Performance Evaluation & Benchmarking (TPCTC 2013). Springer, Cham, Switzerland, 32--47. David Bermbach, Sherif Sakr, and Liang Zhao. 2013. Towards Comprehensive Measurement of Consistency Guarantees for Cloud-Hosted Data Storage Services. In The 5th TPC Technology Conference on Performance Evaluation & Benchmarking (TPCTC 2013). Springer, Cham, Switzerland, 32--47."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093185.2093186"},{"key":"e_1_3_2_1_6_1","unstructured":"Sean Bridges. 2011. Quorum reads are not monotonically consistent. (2011). https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-2494.  Sean Bridges. 2011. Quorum reads are not monotonically consistent. (2011). https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-2494."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08) . USENIX Association, Berkeley, CA, USA, 209--224. http:\/\/dl.acm.org\/citation.cfm?id= 1855741.1855756 Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08). USENIX Association, Berkeley, CA, USA, 209--224. http:\/\/dl.acm.org\/citation.cfm?id=1855741.1855756"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993806.1993834"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2525935"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972457.1972481"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14)","author":"Hawblitzel Chris","year":"2014","unstructured":"Chris Hawblitzel , Jon Howell , Jacob R. Lorch , Arjun Narayan , Bryan Parno , Danfeng Zhang , and Brian Zill . 2014 . Ironclad Apps: End-to-end Security via Automated Full-system Verification . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14) . USENIX Association, Berkeley, CA, USA, 165--181. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685062 Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, and Brian Zill. 2014. Ironclad Apps: End-to-end Security via Automated Full-system Verification. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14). USENIX Association, Berkeley, CA, USA, 165--181. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685062"},{"key":"e_1_3_2_1_14_1","unstructured":"MongoDB Inc. 2017. MongoDB Documentation - FAQ. (2017). https:\/\/www.mongodb.com\/faq.  MongoDB Inc. 2017. MongoDB Documentation - FAQ. (2017). https:\/\/www.mongodb.com\/faq."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 4th USENIX Conference on Networked Systems Design & Implementation (NSDI'07)","author":"Killian Charles","year":"2007","unstructured":"Charles Killian , James W. Anderson , Ranjit Jhala , and Amin Vahdat . 2007 . Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code . In Proceedings of the 4th USENIX Conference on Networked Systems Design & Implementation (NSDI'07) . USENIX Association, Berkeley, CA, USA, 18--18. http:\/\/dl.acm.org\/citation.cfm?id= 1973430.1973448 Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat. 2007. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In Proceedings of the 4th USENIX Conference on Networked Systems Design & Implementation (NSDI'07). USENIX Association, Berkeley, CA, USA, 18--18. http:\/\/dl.acm.org\/citation.cfm?id=1973430.1973448"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.59"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14)","author":"Leesatapornwongsa Tanakorn","key":"e_1_3_2_1_18_1","unstructured":"Tanakorn Leesatapornwongsa , Mingzhe Hao , Pallavi Joshi , Jeffrey F. Lukman , and Haryadi S. Gunawi . 2014. 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) . USENIX Association, Berkeley, CA, USA, 399--414. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685080 Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, and Haryadi S. Gunawi. 2014. 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). USENIX Association, Berkeley, CA, USA, 399--414. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685080"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC'14). USENIX Association","author":"Li Cheng","year":"2014","unstructured":"Cheng Li , Jo\u00e3o Leit\u00e3o , Allen Clement , Nuno Pregui\u00e7a , Rodrigo Rodrigues , and Viktor Vafeiadis . 2014 . Automating the Choice of Consistency Levels in Replicated Systems . In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC'14). USENIX Association , Berkeley, CA, USA, 281--292. http:\/\/dl.acm.org\/citation.cfm?id=2643634.2643664 Cheng Li, Jo\u00e3o Leit\u00e3o, Allen Clement, Nuno Pregui\u00e7a, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC'14). USENIX Association, Berkeley, CA, USA, 281--292. http:\/\/dl.acm.org\/citation.cfm?id=2643634.2643664"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation -","volume":"6","author":"Li Jinyuan","year":"2004","unstructured":"Jinyuan Li , Maxwell Krohn , David Mazi\u00e8res , and Dennis Shasha . 2004 . Secure Untrusted Data Repository (SUNDR) . In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (OSDI'04). USENIX Association, Berkeley, CA, USA, 9--9. http:\/\/dl.acm.org\/citation.cfm?id=1251254.1251263 Jinyuan Li, Maxwell Krohn, David Mazi\u00e8res, and Dennis Shasha. 2004. Secure Untrusted Data Repository (SUNDR). In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (OSDI'04). USENIX Association, Berkeley, CA, USA, 9--9. http:\/\/dl.acm.org\/citation.cfm?id=1251254.1251263"},{"key":"e_1_3_2_1_21_1","volume-title":"Andy Chou, Dawson R Engler, and David L Dill.","author":"Musuvathi Madanlal","year":"2002","unstructured":"Madanlal Musuvathi , David YW Park , Andy Chou, Dawson R Engler, and David L Dill. 2002 . CMC : A pragmatic approach to model checking real code. ACM SIGOPS Operating Systems Review 36, SI ( 2002), 75--88. Madanlal Musuvathi, David YW Park, Andy Chou, Dawson R Engler, and David L Dill. 2002. CMC: A pragmatic approach to model checking real code. ACM SIGOPS Operating Systems Review 36, SI (2002), 75--88."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2002181.2002212"},{"volume-title":"Proceedings of the Eighth USENIX Conference on Hot Topics in System Dependability (HotDep'12)","author":"Rahman Muntasir Raihan","key":"e_1_3_2_1_23_1","unstructured":"Muntasir Raihan Rahman , Wojciech Golab , Alvin AuYoung , Kimberly Keeton , and Jay J. Wylie . 2012. Toward a Principled Framework for Benchmarking Consistency . In Proceedings of the Eighth USENIX Conference on Hot Topics in System Dependability (HotDep'12) . USENIX Association, Berkeley, CA, USA, 8--8. http:\/\/dl.acm.org\/citation.cfm?id=2387858.2387866 Muntasir Raihan Rahman, Wojciech Golab, Alvin AuYoung, Kimberly Keeton, and Jay J. Wylie. 2012. Toward a Principled Framework for Benchmarking Consistency. In Proceedings of the Eighth USENIX Conference on Hot Topics in System Dependability (HotDep'12). USENIX Association, Berkeley, CA, USA, 8--8. http:\/\/dl.acm.org\/citation.cfm?id=2387858.2387866"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 5th International Conference on Systems Software Verification (SSV'10)","author":"Simsa Jiri","year":"2010","unstructured":"Jiri Simsa , Randy Bryant , and Garth Gibson . 2010 . dBug: Systematic Evaluation of Distributed Systems . In Proceedings of the 5th International Conference on Systems Software Verification (SSV'10) . USENIX Association, Berkeley, CA, USA, 3--3. http:\/\/dl.acm.org\/citation.cfm?id= 1929004.1929007 Jiri Simsa, Randy Bryant, and Garth Gibson. 2010. dBug: Systematic Evaluation of Distributed Systems. In Proceedings of the 5th International Conference on Systems Software Verification (SSV'10). USENIX Association, Berkeley, CA, USA, 3--3. http:\/\/dl.acm.org\/citation.cfm?id=1929004.1929007"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500500"},{"key":"e_1_3_2_1_26_1","unstructured":"Werner Vogels. 2008. Eventually Consistent - Revisited. (2008). http:\/\/www.allthingsdistributed.com\/2008\/12\/eventually_consistent.html.  Werner Vogels. 2008. Eventually Consistent - Revisited. (2008). http:\/\/www.allthingsdistributed.com\/2008\/12\/eventually_consistent.html."},{"key":"e_1_3_2_1_27_1","volume-title":"Data Consistency Properties and the Tradeoffs in Commercial Cloud Storages: the Consumers' Perspective. In The 5th Biennial Conference on Innovative Data Systems Research (CIDR). CIDR Conference","author":"Wada Hiroshi","year":"2011","unstructured":"Hiroshi Wada , Alan Fekete , Liang Zhao , Kevin Lee , and Anna Liu . 2011 . Data Consistency Properties and the Tradeoffs in Commercial Cloud Storages: the Consumers' Perspective. In The 5th Biennial Conference on Innovative Data Systems Research (CIDR). CIDR Conference , Asilomar, California, USA, 134--143. Hiroshi Wada, Alan Fekete, Liang Zhao, Kevin Lee, and Anna Liu. 2011. Data Consistency Properties and the Tradeoffs in Commercial Cloud Storages: the Consumers' Perspective. In The 5th Biennial Conference on Innovative Data Systems Research (CIDR). CIDR Conference, Asilomar, California, USA, 134--143."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09)","author":"Yabandeh Maysam","year":"2009","unstructured":"Maysam Yabandeh , Nikola Knezevic , Dejan Kostic , and Viktor Kuncak . 2009 . CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09) . USENIX Association, Berkeley, CA, USA, 229--244. http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558993 Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, and Viktor Kuncak. 2009. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09). USENIX Association, Berkeley, CA, USA, 229--244. http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558993"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09)","author":"Yang Junfeng","year":"2009","unstructured":"Junfeng Yang , Tisheng Chen , Ming Wu , Zhilei Xu , Xuezheng Liu , Haoxiang Lin , Mao Yang , Fan Long , Lintao Zhang , and Lidong Zhou . 2009 . MODIST: Transparent Model Checking of Unmodified Distributed Systems . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09) . USENIX Association, Berkeley, CA, USA, 213--228. http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558992 Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. 2009. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09). USENIX Association, Berkeley, CA, USA, 213--228. http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558992"}],"event":{"name":"HotOS '17: Workshop on Hot Topics in Operating Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Whistler BC Canada","acronym":"HotOS '17"},"container-title":["Proceedings of the 16th Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102980.3102994","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102980.3102994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:06Z","timestamp":1750217826000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102980.3102994"}},"subtitle":["Towards an Interactive and Flexible Consistency Model Specification"],"short-title":[],"issued":{"date-parts":[[2017,5,7]]},"references-count":29,"alternative-id":["10.1145\/3102980.3102994","10.1145\/3102980"],"URL":"https:\/\/doi.org\/10.1145\/3102980.3102994","relation":{},"subject":[],"published":{"date-parts":[[2017,5,7]]},"assertion":[{"value":"2017-05-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}