{"id":"https://openalex.org/W4414170709","doi":"https://doi.org/10.1109/iwqos65803.2025.11143262","title":"Monica: Towards Scalable Distributed System Verification by Programmable Switch-Based Testing","display_name":"Monica: Towards Scalable Distributed System Verification by Programmable Switch-Based Testing","publication_year":2025,"publication_date":"2025-07-02","ids":{"openalex":"https://openalex.org/W4414170709","doi":"https://doi.org/10.1109/iwqos65803.2025.11143262"},"language":"en","primary_location":{"id":"doi:10.1109/iwqos65803.2025.11143262","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwqos65803.2025.11143262","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 33rd International Symposium on Quality of Service (IWQoS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029148978","display_name":"Junjie Lin","orcid":"https://orcid.org/0000-0002-2252-0985"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjie Lin","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052798964","display_name":"Jiashuo Yu","orcid":"https://orcid.org/0000-0002-3094-6687"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiashuo Yu","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030891963","display_name":"Longlong Zhu","orcid":"https://orcid.org/0000-0001-6128-3065"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Longlong Zhu","raw_affiliation_strings":["Zhejiang University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101708792","display_name":"Dong Zhang","orcid":"https://orcid.org/0000-0002-6379-0244"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dong Zhang","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028795724","display_name":"Lida Liao","orcid":null},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lida Liao","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083755005","display_name":"Chuan Lin","orcid":"https://orcid.org/0000-0001-7592-1056"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chuan Lin","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076402300","display_name":"Rongbang Wu","orcid":"https://orcid.org/0009-0007-3526-6350"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongbang Wu","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103125470","display_name":"Xiang Chen","orcid":"https://orcid.org/0000-0002-6955-8729"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Chen","raw_affiliation_strings":["Zhejiang University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013518014","display_name":"Chunming Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunming Wu","raw_affiliation_strings":["Zhejiang University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24956547,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7045000195503235},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6370000243186951},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5320000052452087},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5037999749183655},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4860000014305115},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.41370001435279846},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3919999897480011},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.3644999861717224}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7985000014305115},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7045000195503235},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6370000243186951},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5320000052452087},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5037999749183655},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4860000014305115},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48010000586509705},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.41370001435279846},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3982999920845032},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3919999897480011},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.3644999861717224},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.35679998993873596},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.3003999888896942},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.2678999900817871},{"id":"https://openalex.org/C206274596","wikidata":"https://www.wikidata.org/wiki/Q1063837","display_name":"Programmable logic device","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C2780771206","wikidata":"https://www.wikidata.org/wiki/Q3271761","display_name":"Safeguard","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iwqos65803.2025.11143262","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwqos65803.2025.11143262","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 33rd International Symposium on Quality of Service (IWQoS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1561122532","https://openalex.org/W1981420413","https://openalex.org/W2109213558","https://openalex.org/W2111281854","https://openalex.org/W2120510885","https://openalex.org/W2126087831","https://openalex.org/W2150013559","https://openalex.org/W2156580773","https://openalex.org/W2487095677","https://openalex.org/W2563167692","https://openalex.org/W2878215196","https://openalex.org/W2992877761","https://openalex.org/W3048826825","https://openalex.org/W3085924233","https://openalex.org/W3125704518","https://openalex.org/W3126737518","https://openalex.org/W3129685151","https://openalex.org/W3151769862","https://openalex.org/W3153854431","https://openalex.org/W3154219392","https://openalex.org/W4214672453","https://openalex.org/W4285676273","https://openalex.org/W4290655540","https://openalex.org/W4379142329","https://openalex.org/W4386243256","https://openalex.org/W4386245166","https://openalex.org/W4386378087","https://openalex.org/W4386396768","https://openalex.org/W4388858992","https://openalex.org/W4391282620","https://openalex.org/W4393212691","https://openalex.org/W4405766308","https://openalex.org/W4413178007"],"related_works":[],"abstract_inverted_index":{"Data":[0],"correctness":[1],"in":[2,161],"distributed":[3],"systems":[4],"is":[5,12,65],"ensured":[6],"by":[7,14,150,159],"data":[8,19,97],"consistency,":[9,20],"where":[10],"consistency":[11],"achieved":[13],"consensus":[15,30,73],"algorithms.":[16,31,74],"To":[17],"safeguard":[18],"current":[21],"testing":[22,26,143],"tools":[23,34],"use":[24],"stress":[25],"methods":[27],"to":[28,37,66,71,109,141,152],"examine":[29],"However,":[32],"existing":[33,142],"are":[35],"unable":[36],"simulate":[38],"the":[39,68,87,91,96,101,106,111,122,129,135,147],"situation":[40],"under":[41,138],"high":[42],"traffic":[43,120],"and":[44,58,93,131],"suffer":[45],"from":[46],"excessive":[47],"verification":[48,60,148],"time.":[49],"In":[50],"this":[51],"paper,":[52],"we":[53],"propose":[54],"Monica,":[55],"a":[56,78],"scalable":[57],"efficient":[59],"framework.":[61],"Its":[62],"key":[63],"idea":[64],"leverage":[67],"programmable":[69,102,136],"switch":[70,103,137],"verify":[72],"Specifically,":[75],"Monica":[76,117,145,156],"provides":[77],"set":[79],"of":[80,124,134],"primitives":[81,92],"that":[82,116],"researchers":[83],"can":[84,118],"invoke.":[85],"Then,":[86],"control":[88,107],"server":[89,108],"recognizes":[90],"automatically":[94],"configures":[95],"plane.":[98],"After":[99],"that,":[100],"collaborates":[104],"with":[105],"complete":[110],"verification.":[112],"Experimental":[113],"results":[114],"show":[115],"generate":[119],"at":[121],"rate":[123],"Tbps":[125],"level":[126],"while":[127],"keeping":[128],"computational":[130],"memory":[132],"consumption":[133],"11.87%.":[139],"Compared":[140],"tools,":[144],"increases":[146],"speed":[149],"up":[151],"3.13":[153],"times.":[154],"Further,":[155],"improved":[157],"accuracy":[158],"35.71%":[160],"high-traffic":[162],"scenarios":[163],"over":[164],"other":[165],"tools.":[166]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}