{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:58:13Z","timestamp":1757627893995,"version":"3.44.0"},"reference-count":44,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T00:00:00Z","timestamp":1751414400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T00:00:00Z","timestamp":1751414400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,2]]},"DOI":"10.1109\/iwqos65803.2025.11143262","type":"proceedings-article","created":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T17:29:52Z","timestamp":1757438992000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Monica: Towards Scalable Distributed System Verification by Programmable Switch-Based Testing"],"prefix":"10.1109","author":[{"given":"Junjie","family":"Lin","sequence":"first","affiliation":[{"name":"College of Computer and Data Science, Fuzhou University"}]},{"given":"Jiashuo","family":"Yu","sequence":"additional","affiliation":[{"name":"College of Computer and Data Science, Fuzhou University"}]},{"given":"Longlong","family":"Zhu","sequence":"additional","affiliation":[{"name":"Zhejiang University"}]},{"given":"Dong","family":"Zhang","sequence":"additional","affiliation":[{"name":"College of Computer and Data Science, Fuzhou University"}]},{"given":"Lida","family":"Liao","sequence":"additional","affiliation":[{"name":"College of Computer and Data Science, Fuzhou University"}]},{"given":"Chuan","family":"Lin","sequence":"additional","affiliation":[{"name":"College of Computer and Data Science, Fuzhou University"}]},{"given":"Rongbang","family":"Wu","sequence":"additional","affiliation":[{"name":"College of Computer and Data Science, Fuzhou University"}]},{"given":"Xiang","family":"Chen","sequence":"additional","affiliation":[{"name":"Zhejiang University"}]},{"given":"Chunming","family":"Wu","sequence":"additional","affiliation":[{"name":"Zhejiang University"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3335772.3335936"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604843"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.127.094101"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1365815.1365816"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.15394\/jdfsl.2021.1613"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454167"},{"key":"ref7","article-title":"Raft distributed system for multi-access edge computing sharing resources","author":"Khaliq","year":"2024","journal-title":"arXiv preprint"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958223"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3153701"},{"key":"ref10","volume-title":"Cockroachdb: Distributed sql for cloud applications","author":"Labs","year":"2025"},{"key":"ref11","volume-title":"etcd: A distributed, reliable key-value store","year":"2025"},{"key":"ref12","volume-title":"Mongodb: The developer data platform","year":"2025"},{"key":"ref13","volume-title":"Tidb: The distributed sql database by pingcap","year":"2025"},{"issue":"1","key":"ref14","first-page":"616","article-title":"Ai-augmented database management systems for real-time data analytics","volume":"15","author":"Gadde","year":"2024","journal-title":"Revista de Inteligencia Artificial en Medicina"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-023-00819-8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.62836\/iaet.v2i1.157"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3708821.3710826"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3533376"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijepes.2022.108458"},{"key":"ref20","volume-title":"Jepsen: Distributed systems testing for linearizability","author":"Kingsbury","year":"2013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623097"},{"key":"ref22","volume-title":"Porcupine: A fast linearizability checker in Go","author":"Athalye","year":"2017"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3928"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3643668"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-9511-3"},{"key":"ref26","article-title":"On the siegel-sternberg linearization theorem","author":"P\u00f6schel","year":"2017","journal-title":"arXiv preprint"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM53939.2023.10229080"},{"key":"ref28","volume-title":"Tofino","author":"Networks","year":"2019"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3359989.3365406"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2022.103561"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934906"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230555"},{"key":"ref33","volume-title":"Consensus: Bridging theory and practice","author":"Ongaro","year":"2014"},{"key":"ref34","first-page":"305","article-title":"In search of an understandable consensus algorithm","author":"Ongaro","year":"2014","journal-title":"USENIX ATC"},{"issue":"1999","key":"ref35","first-page":"173","article-title":"Practical byzantine fault tolerance","volume":"99","author":"Castro","year":"1999","journal-title":"OsDI"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/PDCAT.2014.12"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.14778\/3415478.3415535"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ColComCon.2014.6860404"},{"key":"ref39","first-page":"11","article-title":"Pktgen the linux packet generator","volume-title":"Proceedings of the Linux Symposium, Ottawa, Canada","volume":"2","author":"Olsson","year":"2005"},{"key":"ref40","volume-title":"Data Plane Development Kit","author":"Corporation"},{"key":"ref41","first-page":"741","article-title":"\\{ATP\\}: In-network aggregation for multi-tenant learning","author":"Lao","year":"2021","journal-title":"USENIX NSDI"},{"key":"ref42","first-page":"785","article-title":"Scaling distributed machine learning with \\{In-Network\\} aggregation","author":"Sapio","year":"2021","journal-title":"USENIX NSDI 21"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM53939.2023.10228857"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1145\/3603269.3604813","article-title":"P41ru: towards an lru cache entirely in programmable data plane","author":"Zhao","year":"2023","journal-title":"ACM SIGCOMM"}],"event":{"name":"2025 IEEE\/ACM International Symposium on Quality of Service (IWQoS)","location":"Gold Coast, Australia","start":{"date-parts":[[2025,7,2]]},"end":{"date-parts":[[2025,7,4]]}},"container-title":["2025 IEEE\/ACM 33rd International Symposium on Quality of Service (IWQoS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11143240\/11143247\/11143262.pdf?arnumber=11143262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T05:15:35Z","timestamp":1757481335000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11143262\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,2]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/iwqos65803.2025.11143262","relation":{},"subject":[],"published":{"date-parts":[[2025,7,2]]}}}