{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T16:45:33Z","timestamp":1766767533083,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","funder":[{"name":"NSF","award":["2232565"],"award-info":[{"award-number":["2232565"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,12,15]]},"DOI":"10.1145\/3721462.3730947","type":"proceedings-article","created":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T19:56:49Z","timestamp":1765223809000},"page":"59-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["ER-\u03c0: Exhaustive Interleaving Replay for Testing Replicated Data Library Integration"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9990-0753","authenticated-orcid":false,"given":"Provakar","family":"Mondal","sequence":"first","affiliation":[{"name":"Computer Science\/ Software Innovations Lab, Virginia Tech, Blacksburg, Virginia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2415-6926","authenticated-orcid":false,"given":"Eli","family":"Tilevich","sequence":"additional","affiliation":[{"name":"Computer Science\/ Software Innovations Lab, Virginia Tech, Blacksburg, Virginia, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,12,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2014. BUG: Roshi-11: CRDT semantics violated if same timestamp? https:\/\/github.com\/soundcloud\/roshi\/issues\/11."},{"key":"e_1_3_2_1_2_1","unstructured":"2014. BUG: Roshi-18: Incorrect deleted field in response. https:\/\/github.com\/soundcloud\/roshi\/issues\/18."},{"key":"e_1_3_2_1_3_1","unstructured":"2015. BUG: Roshi-40: roshi-server golang app select and map order? https:\/\/github.com\/soundcloud\/roshi\/issues\/40."},{"key":"e_1_3_2_1_4_1","unstructured":"2018. BUG: OrbitDB-512: Lamport clock can be set far into future making db progress halt. https:\/\/github.com\/orbitdb\/orbitdb\/issues\/512."},{"key":"e_1_3_2_1_5_1","unstructured":"2018. BUG: OrbitDB-513: Ordering tie breaker can cause undefined ordering with the same identity. https:\/\/github.com\/orbitdb\/orbitdb\/issues\/513."},{"key":"e_1_3_2_1_6_1","unstructured":"2019. BUG: OrbitDB-557: repo folder keeps getting locked. https:\/\/github.com\/orbitdb\/orbitdb\/issues\/557."},{"key":"e_1_3_2_1_7_1","unstructured":"2019. BUG: OrbitDB-583: Head hash didn't match the contents errors. https:\/\/github.com\/orbitdb\/orbitdb\/issues\/583."},{"key":"e_1_3_2_1_8_1","unstructured":"2021. BUG: ReplicaDB-23: deleted records aren't getting deleted from the sink tables. https:\/\/github.com\/osalvador\/ReplicaDB\/issues\/23."},{"key":"e_1_3_2_1_9_1","unstructured":"2022. BUG: ReplicaDB-79: Out of memory error. https:\/\/github.com\/osalvador\/ReplicaDB\/issues\/79."},{"key":"e_1_3_2_1_10_1","unstructured":"2023. BUG: Yorkie-663: Modify the set operation to handle nested object values. https:\/\/github.com\/yorkie-team\/yorkie\/issues\/663."},{"key":"e_1_3_2_1_11_1","unstructured":"2023. BUG: Yorkie-676: Document doesn't converge when using Array.MoveAfter. https:\/\/github.com\/yorkie-team\/yorkie\/issues\/676."},{"key":"e_1_3_2_1_12_1","unstructured":"2024. BUG: OrbitDB-1153: Uncaught Error: Could not append entry: although write access is granted. https:\/\/github.com\/orbitdb\/orbitdb\/issues\/1153."},{"key":"e_1_3_2_1_13_1","unstructured":"Peter Bourgon and Nick Stenning. 2014. Roshi. https:\/\/github.com\/soundcloud\/roshi."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318170.3318196"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.441.0185"},{"key":"e_1_3_2_1_16_1","volume-title":"VeriFx: Correct Replicated Data Types for the Masses. arXiv preprint arXiv:2207.02502","author":"Porre Kevin De","year":"2022","unstructured":"Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix. 2022. VeriFx: Correct Replicated Data Types for the Masses. arXiv preprint arXiv:2207.02502 (2022)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485484"},{"key":"e_1_3_2_1_18_1","unstructured":"Redis Documentation. 2023. Distributed Locks with Redis. https:\/\/redis.io\/docs\/latest\/develop\/use\/patterns\/distributed-locks\/."},{"key":"e_1_3_2_1_19_1","volume-title":"2022 USENIX Annual Technical Conference (USENIX ATC 22)","author":"Elhemali Mostafa","year":"2022","unstructured":"Mostafa Elhemali, Niall Gallagher, Bin Tang, Nick Gordon, Hao Huang, Haibo Chen, Joseph Idziorek, Mengtian Wang, Richard Krog, Zongpeng Zhu, et al. 2022. Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service. In 2022 USENIX Annual Technical Conference (USENIX ATC 22). 1037\u20131048."},{"key":"e_1_3_2_1_20_1","first-page":"166","article-title":"Towards Better Understanding of the Performance and Design of Datalog Systems","volume":"2","author":"Fan Zhiwei","year":"2022","unstructured":"Zhiwei Fan, Sunil Mallireddy, and Paraschos Koutris. 2022. Towards Better Understanding of the Performance and Design of Datalog Systems. Datalog 2 (2022), 166\u2013180.","journal-title":"Datalog"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040315"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213864"},{"key":"e_1_3_2_1_23_1","unstructured":"Youngteac Hong and Dongcheol Choe. 2020. Yorkie. https:\/\/github.com\/yorkie-team\/yorkie."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3578358.3591326"},{"key":"e_1_3_2_1_25_1","unstructured":"Andrejs Jermakovics. 2014. CRDTs. https:\/\/github.com\/ajermakovics\/crdts."},{"key":"e_1_3_2_1_26_1","volume-title":"How to simplify distributed app development with CRDTs. Accessed","author":"Joshi Leena","year":"2024","unstructured":"Leena Joshi. 2022. How to simplify distributed app development with CRDTs. Accessed 2024."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360580"},{"key":"e_1_3_2_1_28_1","unstructured":"Charles Killian James W Anderson Ranjit Jhala and Amin Vahdat. 2007. Life Death and the Critical Transition: Finding Liveness Bugs in Systems Code. NSDI."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380787.3393677"},{"key":"e_1_3_2_1_30_1","volume-title":"Mae Milano, Alvin Cheung, Natacha Crooks, and Joseph M Hellerstein.","author":"Laddad Shadaj","year":"2022","unstructured":"Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, and Joseph M Hellerstein. 2022. Keep CALM and CRDT On. arXiv preprint arXiv:2210.12605 (2022)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563336"},{"key":"e_1_3_2_1_32_1","volume-title":"SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Leesatapornwongsa Tanakorn","year":"2014","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 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). 399\u2013414."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869490"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.005"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303986"},{"key":"e_1_3_2_1_36_1","unstructured":"Giridhar Manepalli. 2022. Clocks and Causality - Ordering Events in Distributed Systems. https:\/\/www.exhypothesi.com\/clocks-and-causality\/."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3301419.3323973"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623097"},{"key":"e_1_3_2_1_39_1","volume-title":"Avengers: Infinity War. Walt Disney Studios Motion Pictures.","author":"Russo Anthony","year":"2018","unstructured":"Anthony Russo and Joe Russo. 2018. Avengers: Infinity War. Walt Disney Studios Motion Pictures."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806870"},{"key":"e_1_3_2_1_41_1","unstructured":"Oscar Salvador and Francesco Zanti. 2018. ReplicaDB. https:\/\/github.com\/osalvador\/ReplicaDB."},{"key":"e_1_3_2_1_42_1","volume-title":"Merkle-CRDTs: Merkle-DAGs meet CRDTs. arXiv preprint arXiv:2004","author":"Sanjuan Hector","year":"2020","unstructured":"Hector Sanjuan, Samuli Poyhtari, Pedro Teixeira, and Ioannis Psaras. 2020. Merkle-CRDTs: Merkle-DAGs meet CRDTs. arXiv preprint arXiv:2004.00107 (2020)."},{"key":"e_1_3_2_1_43_1","volume-title":"Log-Based CRDT for Edge Applications. In 2022 IEEE International Conference on Cloud Engineering (IC2E). IEEE, 126\u2013137","author":"Saquib Nazmus","year":"2022","unstructured":"Nazmus Saquib, Chandra Krintz, and Rich Wolski. 2022. Log-Based CRDT for Edge Applications. In 2022 IEEE International Conference on Cloud Engineering (IC2E). IEEE, 126\u2013137."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065958"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_1_46_1","unstructured":"Dharma Shukla. 2017. A Technical Overview of Azure Cosmos DB. https:\/\/azure.microsoft.com\/en-us\/blog\/a-technical-overview-of-azure-cosmos-db\/."},{"key":"e_1_3_2_1_47_1","volume-title":"5th International Workshop 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 5th International Workshop on Systems Software Verification (SSV 10)."},{"key":"e_1_3_2_1_48_1","volume-title":"International Datalog 2.0 Workshop","author":"Smaragdakis Yannis","unstructured":"Yannis Smaragdakis and Martin Bravenboer. 2010. Using Datalog for Fast and Easy Program Analysis. In International Datalog 2.0 Workshop. Springer, 245\u2013251."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.09.019"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3587442"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1651263.1651271"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3473918"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318216.3363314"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1731060.1731062"},{"key":"e_1_3_2_1_55_1","volume-title":"MODIST: Transparent Model Checking of Unmodified Distributed Systems. In 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 NSDI'09. 213\u2013228."},{"key":"e_1_3_2_1_56_1","volume-title":"MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. arXiv preprint arXiv:2204.14129","author":"Zhang Yuqi","year":"2022","unstructured":"Yuqi Zhang, Yu Huang, Hengfeng Wei, and Xiaoxing Ma. 2022. MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. arXiv preprint arXiv:2204.14129 (2022)."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1184\/R1\/22277341.v1"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100561"},{"key":"e_1_3_2_1_59_1","unstructured":"Friedel Ziegelmayer and Hayden Young. 2018. OrbitDB. https:\/\/github.com\/orbitdb\/orbitdb."}],"event":{"name":"MIDDLEWARE '25: 26th International Middleware Conference","location":"Vanderbilt University Nashville TN USA","acronym":"MIDDLEWARE '25","sponsor":["IFIP","Usenix"]},"container-title":["Proceedings of the 26th International Middleware Conference"],"original-title":[],"deposited":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T19:56:59Z","timestamp":1765223819000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3721462.3730947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,14]]},"references-count":59,"alternative-id":["10.1145\/3721462.3730947","10.1145\/3721462"],"URL":"https:\/\/doi.org\/10.1145\/3721462.3730947","relation":{},"subject":[],"published":{"date-parts":[[2025,12,14]]},"assertion":[{"value":"2025-12-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}