{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T02:15:28Z","timestamp":1774404928580,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T00:00:00Z","timestamp":1701129600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,28]]},"DOI":"10.1145\/3626111.3628194","type":"proceedings-article","created":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T12:11:20Z","timestamp":1699877480000},"page":"189-195","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":64,"title":["What do LLMs need to Synthesize Correct Router Configurations?"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-6851-0353","authenticated-orcid":false,"given":"Rajdeep","family":"Mondal","sequence":"first","affiliation":[{"name":"UCLA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-9696-2914","authenticated-orcid":false,"given":"Alan","family":"Tang","sequence":"additional","affiliation":[{"name":"UCLA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7844-2026","authenticated-orcid":false,"given":"Ryan","family":"Beckett","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2031-1514","authenticated-orcid":false,"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"UCLA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8218-5701","authenticated-orcid":false,"given":"George","family":"Varghese","sequence":"additional","affiliation":[{"name":"UCLA, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,11,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The man who taught infinity: how G.H. Hardy tamed Srinivasa Ramanujan's genius. https:\/\/theconversation.com\/the-man-who-taught-infinity-how-gh-hardy\\-tamed-srinivasa-ramanujans-genius-57585","author":"Bollobas B.","year":"2023","unstructured":"B. Bollobas. The man who taught infinity: how G.H. Hardy tamed Srinivasa Ramanujan's genius. https:\/\/theconversation.com\/the-man-who-taught-infinity-how-gh-hardy\\-tamed-srinivasa-ramanujans-genius-57585, 2023."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442188.3445922"},{"key":"e_1_3_2_1_3_1","volume-title":"Sparks of artificial general intelligence: Early experiments with GPT-4","author":"Bubeck S.","year":"2023","unstructured":"S. Bubeck, V. Chandrasekaran, R. Eldan, J. Gehrke, E. Horvitz, E. Kamar, P. Lee, Y. T. Lee, Y. Li, S. Lundberg, H. Nori, H. Palangi, M. T. Ribeiro, and Y. Zhang. Sparks of artificial general intelligence: Early experiments with GPT-4, 2023."},{"key":"e_1_3_2_1_4_1","volume-title":"Evaluating large language models trained on code","author":"Chen M.","year":"2021","unstructured":"M. Chen, J. Tworek, H. Jun, Q. Yuan, H. P. de Oliveira Pinto, J. Kaplan, H. Edwards, Y. Burda, N. Joseph, G. Brockman, A. Ray, R. Puri, G. Krueger, M. Petrov, H. Khlaaf, G. Sastry, P. Mishkin, B. Chan, S. Gray, N. Ryder, M. Pavlov, A. Power, L. Kaiser, M. Bavarian, C. Winter, P. Tillet, F. P. Such, D. Cummings, M. Plappert, F. Chantzis, E. Barnes, A. Herbert-Voss, W. H. Guss, A. Nichol, A. Paino, N. Tezak, J. Tang, I. Babuschkin, S. Balaji, S. Jain, W. Saunders, C. Hesse, A. N. Carr, J. Leike, J. Achiam, V. Misra, E. Morikawa, A. Radford, M. Knight, M. Brundage, M. Murati, K. Mayer, P. Welinder, B. McGrew, D. Amodei, S. McCandlish, I. Sutskever, and W. Zaremba. Evaluating large language models trained on code, 2021."},{"key":"e_1_3_2_1_5_1","volume-title":"ChatGPT Prompt Engineering for Developers. https:\/\/learn.deeplearning.ai\/chatgpt-prompt-eng\/lesson\/1\/introduction","author":"AI.","year":"2023","unstructured":"DeepLearning.AI. ChatGPT Prompt Engineering for Developers. https:\/\/learn.deeplearning.ai\/chatgpt-prompt-eng\/lesson\/1\/introduction, 2023."},{"key":"e_1_3_2_1_6_1","first-page":"469","volume-title":"NSDI'15","author":"Fogel A.","year":"2015","unstructured":"A. Fogel, S. Fung, L. Pedrosa, M. Walraed-Sullivan, R. Govindan, R. Mahajan, and T. Millstein. A general approach to network configuration analysis. NSDI'15, page 469--483, USA, 2015. USENIX Association."},{"key":"e_1_3_2_1_7_1","volume-title":"Github CoPilot: Your AI Pair Programmer. https:\/\/github.com\/features\/copilot","year":"2023","unstructured":"github. Github CoPilot: Your AI Pair Programmer. https:\/\/github.com\/features\/copilot, 2023."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510203"},{"key":"e_1_3_2_1_9_1","volume-title":"Writing Code with ChatGPT? Improve it with Kani. https:\/\/model-checking.github.io\/kani-verifier-blog\/2023\/05\/01\/writing-code-with-chatgpt-improve-it-with-kani.html","author":"Verifier Blog Kani Rust","year":"2023","unstructured":"Kani Rust Verifier Blog. Writing Code with ChatGPT? Improve it with Kani. https:\/\/model-checking.github.io\/kani-verifier-blog\/2023\/05\/01\/writing-code-with-chatgpt-improve-it-with-kani.html, 2023."},{"issue":"6624","key":"e_1_3_2_1_10_1","first-page":"1092","volume":"378","author":"Li Y.","year":"2022","unstructured":"Y. Li, D. Choi, J. Chung, N. Kushman, J. Schrittwieser, R. Leblond, T. Eccles, J. Keeling, F. Gimeno, A. D. Lago, T. Hubert, P. Choy, C. de Masson d'Autume, I. Babuschkin, X. Chen, P.-S. Huang, J. Welbl, S. Gowal, A. Cherepanov, J. Molloy, D. J. Mankowitz, E. S. Robson, P. Kohli, N. de Freitas, K. Kavukcuoglu, and O. Vinyals. Competition-level code generation with AlphaCode. Science, 378(6624):1092--1097, dec 2022.","journal-title":"Competition-level code generation with AlphaCode. Science"},{"key":"e_1_3_2_1_11_1","volume-title":"Lightyear: Using modularity to scale BGP control plane verification. SIGCOMM '23, to appear","author":"Tang A.","year":"2023","unstructured":"A. Tang, R. Beckett, K. Jayaraman, T. Millstein, and G. Varghese. Lightyear: Using modularity to scale BGP control plane verification. SIGCOMM '23, to appear. Association for Computing Machinery, 2023."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472925"},{"key":"e_1_3_2_1_13_1","volume-title":"Software testing with large language model: Survey, landscape, and vision","author":"Wang J.","year":"2023","unstructured":"J. Wang, Y. Huang, C. Chen, Z. Liu, S. Wang, and Q. Wang. Software testing with large language model: Survey, landscape, and vision, 2023."}],"event":{"name":"HotNets '23: The 22nd ACM Workshop on Hot Topics in Networks","location":"Cambridge MA USA","acronym":"HotNets '23","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 22nd ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626111.3628194","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3626111.3628194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T19:39:37Z","timestamp":1755891577000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626111.3628194"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,28]]},"references-count":13,"alternative-id":["10.1145\/3626111.3628194","10.1145\/3626111"],"URL":"https:\/\/doi.org\/10.1145\/3626111.3628194","relation":{},"subject":[],"published":{"date-parts":[[2023,11,28]]},"assertion":[{"value":"2023-11-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}