{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T09:02:20Z","timestamp":1784624540229,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T00:00:00Z","timestamp":1785888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,8,6]]},"DOI":"10.1145\/3820441.3820465","type":"proceedings-article","created":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T08:11:31Z","timestamp":1784621491000},"page":"158-165","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Learned Switch Behavior Modeling"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-3365-1333","authenticated-orcid":false,"given":"Daqian","family":"Ding","sequence":"first","affiliation":[{"name":"The University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0292-7155","authenticated-orcid":false,"given":"Ziqian","family":"Liu","sequence":"additional","affiliation":[{"name":"The University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6947-9740","authenticated-orcid":false,"given":"Zhixiong","family":"Niu","sequence":"additional","affiliation":[{"name":"Microsoft Research, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8500-3973","authenticated-orcid":false,"given":"Ziyu","family":"Mao","sequence":"additional","affiliation":[{"name":"The University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2182-2228","authenticated-orcid":false,"given":"Jingyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Zhongguancun Laboratory, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4175-0097","authenticated-orcid":false,"given":"Yongqiang","family":"Xiong","sequence":"additional","affiliation":[{"name":"Microsoft Research, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9328-3205","authenticated-orcid":false,"given":"Yiming","family":"Qiu","sequence":"additional","affiliation":[{"name":"The University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,8,5]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1816004"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544220"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Saswat Anand Edmund\u00a0K Burke Tsong\u00a0Yueh Chen John Clark Myra\u00a0B Cohen Wolfgang Grieskamp Mark Harman Mary\u00a0Jean Harrold Phil McMinn Antonia Bertolino et\u00a0al. 2013. An orchestrated survey of methodologies for automated software test case generation. Journal of systems and software 86 8 (2013) 1978\u20132001.","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/FNWF63303.2024.11028764"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3772356.3772404"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Pat Bosshart Dan Daly Glen Gibb Martin Izzard Nick McKeown Jennifer Rexford Cole Schlesinger Dan Talayco Amin Vahdat George Varghese et\u00a0al. 2014. P4: Programming protocol-independent packet processors. ACM SIGCOMM Computer Communication Review 44 3 (2014) 87\u201395.","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_3_1_8_2","unstructured":"Broadcom. 2025. NPL: Network Programming Language. https:\/\/nplang.org\/ Accessed: 2026."},{"key":"e_1_3_3_1_9_2","unstructured":"Broadcom and community contributors. 2019. Whitebox Switches: Programmable VS Fixed ASICs. https:\/\/bm-switch.com\/2019\/06\/24\/whitebox_basics_programmable_fixed_asics Accessed: 2026."},{"key":"e_1_3_3_1_10_2","unstructured":"Broadcom Corporation. [n. d.]. OpenFlow Data Plane Abstraction (OF-DPA) API Guide and Reference Manual: OF-DPA Software Overview. https:\/\/broadcom-switch.github.io\/of-dpa\/doc\/html\/OFDPA_OVERVIEW.html. Accessed: 2026-03."},{"key":"e_1_3_3_1_11_2","first-page":"127","volume-title":"9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)","author":"Canini Marco","year":"2012","unstructured":"Marco Canini, Daniele Venzano, Peter Pere\u0161\u00edni, Dejan Kosti\u0107, and Jennifer Rexford. 2012. A { NICE} way to test { OpenFlow} applications. In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). 127\u2013140."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Haoxian Chen Chenyuan Wu Andrew Zhao Mukund Raghothaman Mayur Naik and Boon\u00a0Thau Loo. 2023. Synthesizing Formal Network Specifications From Input-Output Examples. IEEE\/ACM Transactions on Networking 31 3 (2023) 994\u20131009. 10.1109\/TNET.2022.3208551","DOI":"10.1109\/TNET.2022.3208551"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"Kai Chen Ankit Singla Atul Singh Kishore Ramachandran Lei Xu Yueping Zhang Xitao Wen and Yan Chen. 2013. OSA: An optical switching architecture for data center networks with unprecedented flexibility. IEEE\/ACM Transactions on networking 22 2 (2013) 498\u2013511.","DOI":"10.1109\/TNET.2013.2253120"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405888"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472938"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Timon Gehr Sasa Misailovic Petar Tsankov Laurent Vanbever Pascal Wiesmann and Martin Vechev. 2018. Bayonet: probabilistic inference for networks. ACM SIGPLAN Notices 53 4 (2018) 586\u2013602.","DOI":"10.1145\/3296979.3192400"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3718958.3750515"},{"key":"e_1_3_3_1_19_2","first-page":"735","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)","author":"Horn Alex","year":"2017","unstructured":"Alex Horn, Ali Kheradmand, and Mukul Prasad. 2017. Delta-net: Real-time network verification using atoms. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). 735\u2013749."},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2019.8888144"},{"key":"e_1_3_3_1_21_2","volume-title":"P4_16 Intel\u00ae Tofino\u2122 Native Architecture \u2013 Public Version","author":"Corporation Intel","year":"2020","unstructured":"Intel Corporation. 2020. P4_16 Intel\u00ae Tofino\u2122 Native Architecture \u2013 Public Version. Technical Report. Intel (formerly Barefoot Networks). https:\/\/github.com\/barefootnetworks\/Open-Tofino\/blob\/master\/PUBLIC_Tofino-Native-Arch.pdf Accessed: 2026."},{"key":"e_1_3_3_1_22_2","first-page":"3050","volume-title":"International conference on machine learning","author":"Jay Nathan","year":"2019","unstructured":"Nathan Jay, Noga Rotman, Brighten Godfrey, Michael Schapira, and Aviv Tamar. 2019. A deep reinforcement learning perspective on internet congestion control. In International conference on machine learning. PMLR, 3050\u20133059."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380831"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Ralf Kundel Fridolin Siegmund Rhaban Hark Amr Rizk and Boris Koldehofe. 2022. Network testing utilizing programmable network hardware. IEEE Communications Magazine 60 2 (2022) 12\u201317.","DOI":"10.1109\/MCOM.001.2100191"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413207"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3772356.3772418"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672264"},{"key":"e_1_3_3_1_30_2","unstructured":"LocalStack Team. 2025. LocalStack: A fully functional local AWS cloud stack. https:\/\/www.localstack.cloud\/localstack-for-aws Accessed: 2025-06-29."},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Haohui Mai Ahmed Khurshid Rachit Agarwal Matthew Caesar P\u00a0Brighten Godfrey and Samuel\u00a0Talmadge King. 2011. Debugging the data plane with anteater. ACM SIGCOMM Computer Communication Review 41 4 (2011) 290\u2013301.","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3278532.3278566"},{"key":"e_1_3_3_1_33_2","unstructured":"Microsoft Corporation. 2025. Use the Azurite emulator for local Azure Storage development. https:\/\/learn.microsoft.com\/en-us\/azure\/storage\/common\/storage-use-azurite?tabs=visual-studio%2Cblob-storage Accessed: 2025-07-02."},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"crossref","unstructured":"Mark Moeller Tiago Ferreira Thomas Lu Nate Foster and Alexandra Silva. 2025. Active Learning of Symbolic NetKAT Automata. Proceedings of the ACM on Programming Languages 9 PLDI (2025) 1119\u20131142.","DOI":"10.1145\/3729295"},{"key":"e_1_3_3_1_35_2","unstructured":"Pablo Molinero-Fern\u00e1ndez and Nick McKeown. 2003. Performance of circuit switching in the Internet. Journal of Optical Networking 2 4 (2003) 83\u201396."},{"key":"e_1_3_3_1_36_2","unstructured":"Moto Team. 2025. Moto: Mock AWS Services. https:\/\/docs.getmoto.org\/en\/latest\/ Accessed: 2025-07-02."},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-S.2019.00016"},{"key":"e_1_3_3_1_38_2","unstructured":"NVIDIA. 2021. Proving Superior Cloud AI and Storage Performance with NVIDIA Spectrum-3 Switches. https:\/\/developer.nvidia.com\/blog\/proving-superior-cloud-ai-and-storage-performance-with-spectrum-3-switches Accessed: 2026."},{"key":"e_1_3_3_1_39_2","unstructured":"Edgecore Networks on\u00a0behalf\u00a0of Broadcom. 2025. Broadcom Tomahawk 6: Powering the Latest Generation of AI and Hyperscale Networks. https:\/\/www.edge-core.com\/blogs\/broadcom-tomahawk-6-powering-the-latest-generation-of-ai-and-hyperscale-networks Accessed: 2026."},{"key":"e_1_3_3_1_40_2","volume-title":"Switch Abstraction Interface (SAI)","author":"Project Open Compute","unstructured":"Open Compute Project. [n. d.]. Switch Abstraction Interface (SAI). https:\/\/github.com\/opencomputeproject\/SAI Accessed: 2026-03."},{"key":"e_1_3_3_1_41_2","unstructured":"Open Networking Foundation. [n. d.]. fabric.p4: ONOS SD-Fabric Data Plane Program. https:\/\/github.com\/opennetworkinglab\/onos\/blob\/master\/pipelines\/fabric\/impl\/src\/main\/resources\/fabric.p4. Accessed: 2026-03."},{"key":"e_1_3_3_1_42_2","unstructured":"P4-BAR team or anonymous. 2024. P4-Based Automated Reasoning (P4-BAR) for the (Networking) Masses! Presentation at the P4 Workshop 2024. https:\/\/p4.org\/wp-content\/uploads\/sites\/53\/2024\/10\/17-2024-P4-Workshop-P4-BasedAutomated-Reasoning-for-the-Networking-Masses.pdf Slides from P4 Workshop 2024; part of the P4-BAR session."},{"key":"e_1_3_3_1_43_2","unstructured":"P4-BAR team or anonymous. 2024. Scaling P4-Based Automated Reasoning (Performance and Coverage). Presentation at the P4 Workshop 2024. https:\/\/p4.org\/wp-content\/uploads\/sites\/53\/2024\/10\/18-2024-P4-Workshop-Scaling-P4Based-Automated-Reasoning-Performance-and-Coverage.pdf Part of P4-Based Automated Reasoning track; slides from P4 Workshop 2024."},{"key":"e_1_3_3_1_44_2","volume-title":"The P4 Language Specification","author":"Consortium P4.org","year":"2024","unstructured":"P4.org Consortium. 2024. The P4 Language Specification. Technical Report. P4.org. https:\/\/p4.org\/p4-spec\/ Accessed: 2026."},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836117"},{"key":"e_1_3_3_1_46_2","unstructured":"Justin Pettit Jesse Gross Ben Pfaff Martin Casado and Simon Crosby. 2010. Virtual switching in an era of advanced edges. (2010)."},{"key":"e_1_3_3_1_47_2","unstructured":"Chunming Qiao and Myungsik Yoo. 1999. Optical burst switching (OBS)\u2013a new paradigm for an optical Internet. Journal of high speed networks 8 1 (1999) 69\u201384."},{"key":"e_1_3_3_1_48_2","first-page":"613","volume-title":"20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)","author":"Qiu Yiming","year":"2023","unstructured":"Yiming Qiu, Ryan Beckett, and Ang Chen. 2023. Synthesizing runtime programmable switch updates. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). 613\u2013628."},{"key":"e_1_3_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604834"},{"key":"e_1_3_3_1_50_2","unstructured":"Puneet Sharma et\u00a0al. 2024. Modeling Hardware Blocks of Network ASICs using P4. Presentation at the P4 Workshop 2024. https:\/\/p4.org\/wp-content\/uploads\/sites\/53\/2024\/10\/13-2024-P4-Workshop-Modelinghardware-blocks-of-network-ASICs-using-P4.pdf Slides available via P4.org (link may require archive.org or direct request if 404 persists)."},{"key":"e_1_3_3_1_51_2","volume-title":"8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11)","author":"Shieh Alan","year":"2011","unstructured":"Alan Shieh, Srikanth Kandula, Albert Greenberg, Changhoon Kim, and Bikas Saha. 2011. Sharing the data center network. In 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11)."},{"key":"e_1_3_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"e_1_3_3_1_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472937"},{"key":"e_1_3_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/3664476.3664506"},{"key":"e_1_3_3_1_55_2","doi-asserted-by":"crossref","unstructured":"Frits Vaandrager. 2017. Model learning. Commun. ACM 60 2 (2017) 86\u201395.","DOI":"10.1145\/2967606"},{"key":"e_1_3_3_1_56_2","doi-asserted-by":"crossref","unstructured":"Davide Villa Miead Tehrani-Moayyed Clifton\u00a0Paul Robinson Leonardo Bonati Pedram Johari Michele Polese and Tommaso Melodia. 2024. Colosseum as a digital twin: Bridging real-world experimentation and wireless network emulation. IEEE Transactions on Mobile Computing 23 10 (2024) 9150\u20139166.","DOI":"10.1109\/TMC.2024.3359596"},{"key":"e_1_3_3_1_57_2","unstructured":"Tianyu Wang Shaowei Wang and Zhi-Hua Zhou. 2019. Machine learning for 5G and beyond: From model-based to data-driven mobile wireless networks. China Communications 16 1 (2019) 165\u2013175."},{"key":"e_1_3_3_1_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342438"},{"key":"e_1_3_3_1_59_2","first-page":"731","volume-title":"2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Yan Francis\u00a0Y","year":"2018","unstructured":"Francis\u00a0Y Yan, Jestin Ma, Greg\u00a0D Hill, Deepti Raghavan, Riad\u00a0S Wahby, Philip Levis, and Keith Winstein. 2018. Pantheon: the training ground for Internet congestion-control research. In 2018 USENIX Annual Technical Conference (USENIX ATC 18). 731\u2013743."},{"key":"e_1_3_3_1_60_2","doi-asserted-by":"crossref","unstructured":"SJ\u00a0Ben Yoo. 2010. Energy efficiency in the future internet: The role of optical packet switching and optical-label switching. IEEE Journal of Selected Topics in Quantum Electronics 17 2 (2010) 406\u2013418.","DOI":"10.1109\/JSTQE.2010.2076793"},{"key":"e_1_3_3_1_61_2","doi-asserted-by":"crossref","unstructured":"SJ\u00a0Ben Yoo Fei Xue Yash Bansal Julie Taylor Zhong Pan Jing Cao Minyong Jeon Tony Nady Gary Goncher Kirk Boyer et\u00a0al. 2003. High-performance optical-label switching packet routers and smart edge routers for the next-generation Internet. IEEE Journal on Selected Areas in Communications 21 7 (2003) 1041\u20131051.","DOI":"10.1109\/JSAC.2003.815684"},{"key":"e_1_3_3_1_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/2670518.2673879"},{"key":"e_1_3_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_3_3_1_64_2","doi-asserted-by":"crossref","unstructured":"Peng Zhang Cheng Zhang and Chengchen Hu. 2018. Fast data plane testing for software-defined networks with rulechecker. IEEE\/ACM transactions on networking 27 1 (2018) 173\u2013186.","DOI":"10.1109\/TNET.2018.2885532"},{"key":"e_1_3_3_1_65_2","unstructured":"Shenglin Zhang Ying Liu Weibin Meng Zhiling Luo Jiahao Bu Sen Yang Peixian Liang Dan Pei Jun Xu Yuzhi Zhang et\u00a0al. 2018. Prefix: Switch failure prediction in datacenter networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems 2 1 (2018) 1\u201329."},{"key":"e_1_3_3_1_66_2","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544247"},{"key":"e_1_3_3_1_67_2","doi-asserted-by":"publisher","DOI":"10.1145\/3359989.3365406"}],"event":{"name":"APNet 2026: The 10th Asia-Pacific Workshop on Networking","location":"Singapore Singapore","acronym":"APNet '26"},"container-title":["Proceedings of the 10th Asia-Pacific Workshop on Networking"],"original-title":[],"deposited":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T08:15:02Z","timestamp":1784621702000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3820441.3820465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,5]]},"references-count":66,"alternative-id":["10.1145\/3820441.3820465","10.1145\/3820441"],"URL":"https:\/\/doi.org\/10.1145\/3820441.3820465","relation":{},"subject":[],"published":{"date-parts":[[2026,8,5]]},"assertion":[{"value":"2026-08-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}