{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T15:03:37Z","timestamp":1779807817514,"version":"3.53.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","funder":[{"name":"NSF (National Science Foundation)","award":["2324515"],"award-info":[{"award-number":["2324515"]}]},{"name":"NSF (National Science Foundation)","award":["2319603"],"award-info":[{"award-number":["2319603"]}]},{"name":"NSF (National Science Foundation)","award":["2334996"],"award-info":[{"award-number":["2334996"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,8]]},"DOI":"10.1145\/3801489.3806917","type":"proceedings-article","created":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T14:22:48Z","timestamp":1779805368000},"page":"138-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["CAP: Detecting Network Device Misconfigurations with Context-Aware Prompting of LLMs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1652-8419","authenticated-orcid":false,"given":"Xi","family":"Jiang","sequence":"first","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3771-7876","authenticated-orcid":false,"given":"Aaron","family":"Gember-Jacobson","sequence":"additional","affiliation":[{"name":"Colgate University, Hamilton, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9315-5201","authenticated-orcid":false,"given":"Nick","family":"Feamster","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Batfish: An open source network configuration analysis tool. https:\/\/batfish.org."},{"key":"e_1_3_2_1_2_1","unstructured":"Cisco networking software (IOS & NX-OS) - support and downloads. https:\/\/cisco.com\/c\/en\/us\/support\/ios-nx-os-software."},{"key":"e_1_3_2_1_3_1","unstructured":"Juniper networks - junos OS documentation. https:\/\/juniper.net\/documentation\/product\/us\/en\/junos-os."},{"key":"e_1_3_2_1_4_1","unstructured":"Mutually agreed norms for routing security (MANRS). https:\/\/manrs.org."},{"key":"e_1_3_2_1_5_1","first-page":"201","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Abhashkumar Anubhavnidhi","year":"2020","unstructured":"Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. Tiramisu: Fast multilayer network verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), pages 201-219, 2020."},{"key":"e_1_3_2_1_6_1","volume-title":"Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al. GPT-4 technical report. arXiv preprint arXiv:2303.08774","author":"Achiam Josh","year":"2023","unstructured":"Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al. GPT-4 technical report. arXiv preprint arXiv:2303.08774, 2023."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SafeConfig.2011.6111667"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_9_1","volume-title":"Symposium on Networked Systems Design and Implementation (NSDI)","author":"Benson Theophilus","year":"2009","unstructured":"Theophilus Benson, Aditya Akella, and David Maltz. Unraveling the complexity of network management. In Symposium on Networked Systems Design and Implementation (NSDI), 2009."},{"key":"e_1_3_2_1_10_1","volume-title":"Metha: Network verifiers need to be correct too! In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Birkner Rudiger","year":"2021","unstructured":"Rudiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, and Martin Vechev. Metha: Network verifiers need to be correct too! In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2021."},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Birkner R\u00fcdiger","year":"2020","unstructured":"R\u00fcdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, and Martin T. Vechev. Config2spec: Mining network specifications from network configurations. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2020."},{"key":"e_1_3_2_1_12_1","unstructured":"Mark Bogdanov. Leveraging Advanced Large Language Models To Optimize Network Device Configuration. PhD thesis Purdue University Graduate School 2024."},{"key":"e_1_3_2_1_13_1","volume-title":"Deepseek-v3 technical report","author":"AI.","year":"2024","unstructured":"DeepSeek-AI. Deepseek-v3 technical report, 2024."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251203.1251207"},{"key":"e_1_3_2_1_15_1","first-page":"469","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","author":"Fogel Ari","year":"2015","unstructured":"Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. A general approach to network configuration analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), pages 469-483, 2015."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2009.32"},{"key":"e_1_3_2_1_17_1","first-page":"999","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Reddy Kakarla Siva Kesava","year":"2020","unstructured":"Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, and George Varghese. Finding network misconfigurations by automatic template inference. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), pages 999-1013, 2020."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the ACM on Programming Languages, 8(PLDI):199-222","author":"Reddy Kakarla Siva Kesava","year":"2024","unstructured":"Siva Kesava Reddy Kakarla, Francis Y Yan, and Ryan Beckett. Diffy: Data-driven bug finding for configurations. Proceedings of the ACM on Programming Languages, 8(PLDI):199-222, 2024."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380831"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2068816.2068863"},{"key":"e_1_3_2_1_21_1","volume-title":"Characterization and problem detection of routing policy configurations","author":"Le Franck","year":"2006","unstructured":"Franck Le, Sihyung Lee, Tina Wong, Hyong S Kim, and Darrell Newcomb. Characterization and problem detection of routing policy configurations. 2006."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1162678.1162681"},{"key":"e_1_3_2_1_23_1","volume-title":"Detecting network-wide and router-specific misconfigurations through data mining","author":"Le Franck","year":"2008","unstructured":"Franck Le, Sihyung Lee, Tina Wong, Hyong S Kim, and Darrell Newcomb. Detecting network-wide and router-specific misconfigurations through data mining. IEEE\/ACM transactions on networking, 17(1):66-79, 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2007.4375839"},{"key":"e_1_3_2_1_25_1","volume-title":"Same task, more tokens: the impact of input length on the reasoning performance of large language models. arXiv preprint arXiv:2402.14848","author":"Levy Mosh","year":"2024","unstructured":"Mosh Levy, Alon Jacoby, and Yoav Goldberg. Same task, more tokens: the impact of input length on the reasoning performance of large language models. arXiv preprint arXiv:2402.14848, 2024."},{"key":"e_1_3_2_1_26_1","unstructured":"Jiaqi Li Mengmeng Wang Zilong Zheng and Muhan Zhang. Can long-context large language models understand long contexts?"},{"key":"e_1_3_2_1_27_1","volume-title":"Xiang Yue, and Wenhu Chen. Long-context llms struggle with long in-context learning. arXiv preprint arXiv:2404.02060","author":"Li Tianle","year":"2024","unstructured":"Tianle Li, Ge Zhang, Quy Duc Do, Xiang Yue, and Wenhu Chen. Long-context llms struggle with long in-context learning. arXiv preprint arXiv:2404.02060, 2024."},{"key":"e_1_3_2_1_28_1","volume-title":"Configuration validation with large language models. arXiv preprint arXiv:2310.09690","author":"Lian Xinyu","year":"2023","unstructured":"Xinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang, Parth Thakkar, and Tianyin Xu. Configuration validation with large language models. arXiv preprint arXiv:2310.09690, 2023."},{"key":"e_1_3_2_1_29_1","volume-title":"Large language models for networking: Workflow, advances and challenges","author":"Liu Chang","year":"2024","unstructured":"Chang Liu, Xiaohui Xie, Xinggong Zhang, and Yong Cui. Large language models for networking: Workflow, advances and challenges. IEEE Network, 2024."},{"key":"e_1_3_2_1_30_1","first-page":"953","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Prabhu Santhosh","year":"2020","unstructured":"Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. Plankton: Scalable network configuration verification through model checking. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), pages 953-967, 2020."},{"key":"e_1_3_2_1_31_1","volume-title":"Are long-llms a necessity for long-context tasks? arXiv preprint arXiv:2405.15318","author":"Qian Hongjin","year":"2024","unstructured":"Hongjin Qian, Zheng Liu, Peitian Zhang, Kelong Mao, Yujia Zhou, Xu Chen, and Zhicheng Dou. Are long-llms a necessity for long-context tasks? arXiv preprint arXiv:2405.15318, 2024."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848453"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626111.3628205"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405900"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472925"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the ACM on Networking, 2(CoNEXT2):1-25","author":"Wang Changjie","year":"2024","unstructured":"Changjie Wang, Mariano Scazzariello, Alireza Farshin, Simone Ferlin, Dejan Kosti\u0107, and Marco Chiesa. NetConfEval: Can LLMs facilitate network configuration? Proceedings of the ACM on Networking, 2(CoNEXT2):1-25, 2024."},{"key":"e_1_3_2_1_37_1","volume-title":"Dong Jae Kim, and Tse-Hsun Chen. Identifying performance-sensitive configurations in software systems through code analysis with llm agents. arXiv preprint arXiv:2406.12806","author":"Wang Zehao","year":"2024","unstructured":"Zehao Wang, Dong Jae Kim, and Tse-Hsun Chen. Identifying performance-sensitive configurations in software systems through code analysis with llm agents. arXiv preprint arXiv:2406.12806, 2024."},{"key":"e_1_3_2_1_38_1","volume-title":"SIGCOMM","author":"Ye Fangdan","year":"2020","unstructured":"Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang, Zhiliang Wang, and Rodrigo Fonseca. Accuracy, scalability, coverage: A practical configuration verifier on a global WAN. In SIGCOMM, 2020."},{"key":"e_1_3_2_1_39_1","volume-title":"ACM SIGCOMM Conference","author":"Zhang Peng","year":"2022","unstructured":"Peng Zhang, Dan Wang, and Aaron Gember-Jacobson. Symbolic router execution. In Fernando Kuipers and Ariel Orda, editors, ACM SIGCOMM Conference, 2022."}],"event":{"name":"SIGMETRICS '26: ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems","location":"Ann Arbor MI USA","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation"]},"container-title":["Abstracts of the 2026 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems"],"original-title":[],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T14:23:50Z","timestamp":1779805430000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3801489.3806917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,8]]},"references-count":39,"alternative-id":["10.1145\/3801489.3806917","10.1145\/3801489"],"URL":"https:\/\/doi.org\/10.1145\/3801489.3806917","relation":{},"subject":[],"published":{"date-parts":[[2026,6,8]]},"assertion":[{"value":"2026-06-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}