{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:03:57Z","timestamp":1784300637908,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":89,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T00:00:00Z","timestamp":1628467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS-1901523,IIS-2048211"],"award-info":[{"award-number":["CNS-1901523,IIS-2048211"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,9]]},"DOI":"10.1145\/3452296.3472910","type":"proceedings-article","created":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T18:13:15Z","timestamp":1628532795000},"page":"272-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Semi-automated protocol disambiguation and code generation"],"prefix":"10.1145","author":[{"given":"Jane","family":"Yen","sequence":"first","affiliation":[{"name":"University of Southern California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tam\u00e1s","family":"L\u00e9vai","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qinyuan","family":"Ye","sequence":"additional","affiliation":[{"name":"University of Southern California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiang","family":"Ren","sequence":"additional","affiliation":[{"name":"University of Southern California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ramesh","family":"Govindan","sequence":"additional","affiliation":[{"name":"University of Southern California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barath","family":"Raghavan","sequence":"additional","affiliation":[{"name":"USC"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,8,9]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/193853"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"Alur R. Bodik R. Dallal E. Fisman D. Garg P. Juniwal G. Kress-Gazit H. Madusudan P. Martin M. Raghothman M. etal Syntax-guided synthesis. dependable software systems engineering. NATO Science for Peace and Security Series (2014). http:\/\/sygus. seas. upenn. edu\/files\/sygusextended. pdf (2014).  Alur R. Bodik R. Dallal E. Fisman D. Garg P. Juniwal G. Kress-Gazit H. Madusudan P. Martin M. Raghothman M. et al. Syntax-guided synthesis. dependable software systems engineering. NATO Science for Peace and Security Series (2014). http:\/\/sygus. seas. upenn. edu\/files\/sygusextended. pdf (2014).","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.4650"},{"key":"e_1_3_2_2_4_1","volume-title":"Cornell SPF: Cornell Semantic Parsing Framework","author":"Artzi Y.","year":"2016","unstructured":"Artzi , Y. Cornell SPF: Cornell Semantic Parsing Framework , 2016 . Artzi, Y. Cornell SPF: Cornell Semantic Parsing Framework, 2016."},{"key":"e_1_3_2_2_5_1","volume-title":"Semantic parsing with combinatory categorial grammars. ACL (Tutorial Abstracts) 3","author":"Artzi Y.","year":"2013","unstructured":"Artzi , Y. , FitzGerald , N. , and Zettlemoyer , L. S . Semantic parsing with combinatory categorial grammars. ACL (Tutorial Abstracts) 3 ( 2013 ). Artzi, Y., FitzGerald, N., and Zettlemoyer, L. S. Semantic parsing with combinatory categorial grammars. ACL (Tutorial Abstracts) 3 (2013)."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2018.00031"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062367"},{"key":"e_1_3_2_2_8_1","first-page":"1533","volume-title":"Proceedings of the 2013 conference on empirical methods in natural language processing","author":"Berant J.","year":"2013","unstructured":"Berant , J. , Chou , A. , Frostig , R. , and Liang , P . Semantic parsing on freebase from question-answer pairs . In Proceedings of the 2013 conference on empirical methods in natural language processing ( 2013 ), pp. 1533 -- 1544 . Berant, J., Chou, A., Frostig, R., and Liang, P. Semantic parsing on freebase from question-answer pairs. In Proceedings of the 2013 conference on empirical methods in natural language processing (2013), pp. 1533--1544."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2017.43"},{"key":"e_1_3_2_2_10_1","volume-title":"Formal verification of standards for distance vector routing protocols. Journal of the ACM (JACM) 49, 4","author":"Bhargavan K.","year":"2002","unstructured":"Bhargavan , K. , Obradovic , D. , and Gunter , C. A . Formal verification of standards for distance vector routing protocols. Journal of the ACM (JACM) 49, 4 ( 2002 ), 538--576. Bhargavan, K., Obradovic, D., and Gunter, C. A. Formal verification of standards for distance vector routing protocols. Journal of the ACM (JACM) 49, 4 (2002), 538--576."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080123"},{"key":"e_1_3_2_2_12_1","volume-title":"Introduction to the iso specification language lotos. Computer Networks and ISDN systems 14, 1","author":"Bolognesi T.","year":"1987","unstructured":"Bolognesi , T. , and Brinksma , E . Introduction to the iso specification language lotos. Computer Networks and ISDN systems 14, 1 ( 1987 ). Bolognesi, T., and Brinksma, E. Introduction to the iso specification language lotos. Computer Networks and ISDN systems 14, 1 (1987)."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"e_1_3_2_2_14_1","volume-title":"An introduction to estelle: a specification language for distributed systems. Computer Networks and ISDN systems 14, 1","author":"Budkowski S.","year":"1987","unstructured":"Budkowski , S. , and Dembinski , P . An introduction to estelle: a specification language for distributed systems. Computer Networks and ISDN systems 14, 1 ( 1987 ), 3--23. Budkowski, S., and Dembinski, P. An introduction to estelle: a specification language for distributed systems. Computer Networks and ISDN systems 14, 1 (1987), 3--23."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2900423.2900560"},{"key":"e_1_3_2_2_16_1","volume-title":"Proceedings of the Twenty-Fourth Internet Engineering Task Force","author":"Clark D. D.","year":"1992","unstructured":"Clark , D. D. A cloudy crystal ball: visions of the future . Proceedings of the Twenty-Fourth Internet Engineering Task Force ( 1992 ), 539--544. Clark, D. D. A cloudy crystal ball: visions of the future. Proceedings of the Twenty-Fourth Internet Engineering Task Force (1992), 539--544."},{"key":"e_1_3_2_2_17_1","first-page":"8492","article-title":"Secure Password Ciphersuites for Transport Layer Security (TLS)","author":"Harkins E","year":"2019","unstructured":"D. Harkins , E . Secure Password Ciphersuites for Transport Layer Security (TLS) . RFC 8492 , 2019 . D. Harkins, E. Secure Password Ciphersuites for Transport Layer Security (TLS). RFC 8492, 2019.","journal-title":"RFC"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/22741"},{"key":"e_1_3_2_2_19_1","first-page":"1112","article-title":"Host extensions for IP multicasting","author":"Deering D. S. E","year":"1989","unstructured":"Deering , D. S. E . Host extensions for IP multicasting . RFC 1112 , 1989 . Deering, D. S. E. Host extensions for IP multicasting. RFC 1112, 1989.","journal-title":"RFC"},{"key":"e_1_3_2_2_20_1","volume-title":"Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805","author":"Devlin J.","year":"2018","unstructured":"Devlin , J. , Chang , M.-W. , Lee , K. , and Toutanova , K . Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805 ( 2018 ). Devlin, J., Chang, M.-W., Lee, K., and Toutanova, K. Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805 (2018)."},{"key":"e_1_3_2_2_21_1","volume-title":"Coarse-to-fine decoding for neural semantic parsing. arXiv preprint arXiv:1805.04793","author":"Dong L.","year":"2018","unstructured":"Dong , L. , and Lapata , M . Coarse-to-fine decoding for neural semantic parsing. arXiv preprint arXiv:1805.04793 ( 2018 ). Dong, L., and Lapata, M. Coarse-to-fine decoding for neural semantic parsing. arXiv preprint arXiv:1805.04793 (2018)."},{"key":"e_1_3_2_2_22_1","volume-title":"RFC Style Guide. RFC","author":"Editor R.","year":"2014","unstructured":"Editor , R. , and Flanagan , H . RFC Style Guide. RFC 7322, Sept. 2014 . Editor, R., and Flanagan, H. RFC Style Guide. RFC 7322, Sept. 2014."},{"key":"e_1_3_2_2_23_1","volume-title":"Codebert: A pre-trained model for programming and natural languages. ArXiv abs\/2002.08155","author":"Feng Z.","year":"2020","unstructured":"Feng , Z. , Guo , D. , Tang , D. , Duan , N. , Feng , X. , Gong , M. , Shou , L. , Qin , B. , Liu , T. , Jiang , D. , and Zhou , M . Codebert: A pre-trained model for programming and natural languages. ArXiv abs\/2002.08155 ( 2020 ). Feng, Z., Guo, D., Tang, D., Duan, N., Feng, X., Gong, M., Shou, L., Qin, B., Liu, T., Jiang, D., and Zhou, M. Codebert: A pre-trained model for programming and natural languages. ArXiv abs\/2002.08155 (2020)."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737977"},{"key":"e_1_3_2_2_25_1","first-page":"149","volume-title":"Execution anomaly detection in distributed systems through unstructured log analysis. In 2009 ninth IEEE international conference on data mining","author":"Fu Q.","year":"2009","unstructured":"Fu , Q. , Lou , J.-G. , Wang , Y. , and Li , J . Execution anomaly detection in distributed systems through unstructured log analysis. In 2009 ninth IEEE international conference on data mining ( 2009 ), IEEE , pp. 149 -- 158 . Fu, Q., Lou, J.-G., Wang, Y., and Li, J. Execution anomaly detection in distributed systems through unstructured log analysis. In 2009 ninth IEEE international conference on data mining (2009), IEEE, pp. 149--158."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405852"},{"key":"e_1_3_2_2_27_1","unstructured":"Group S. N. Corenlp coreference resolution. https:\/\/stanfordnlp.github.io\/CoreNLP\/coref.html.  Group S. N. Corenlp coreference resolution. https:\/\/stanfordnlp.github.io\/CoreNLP\/coref.html."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1873781.1873834"},{"key":"e_1_3_2_2_29_1","volume-title":"spaCy 2: Natural language understanding with Bloom embeddings, convolutional neural networks and incremental parsing. To appear","author":"Honnibal M.","year":"2017","unstructured":"Honnibal , M. , and Montani , I . spaCy 2: Natural language understanding with Bloom embeddings, convolutional neural networks and incremental parsing. To appear , 2017 . Honnibal, M., and Montani, I. spaCy 2: Natural language understanding with Bloom embeddings, convolutional neural networks and incremental parsing. To appear, 2017."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.67579"},{"key":"e_1_3_2_2_31_1","unstructured":"Institute A. A. AllenNLP Coreference Resolution. https:\/\/demo.allennlp.org\/coreference-resolution.  Institute A. A. AllenNLP Coreference Resolution. https:\/\/demo.allennlp.org\/coreference-resolution."},{"key":"e_1_3_2_2_32_1","unstructured":"Ipp interoperability testing event #2. http:\/\/www.pwg.org\/ipp\/testing\/bake2.html.  Ipp interoperability testing event #2. http:\/\/www.pwg.org\/ipp\/testing\/bake2.html."},{"key":"e_1_3_2_2_33_1","first-page":"8519","article-title":"YANG Data Model for Network Access Control Lists (ACLs)","author":"Jethanandani M.","year":"2019","unstructured":"Jethanandani , M. , Agarwal , S. , Huang , L. , and Blair , D . YANG Data Model for Network Access Control Lists (ACLs) . RFC 8519 , 2019 . Jethanandani, M., Agarwal, S., Huang, L., and Blair, D. YANG Data Model for Network Access Control Lists (ACLs). RFC 8519, 2019.","journal-title":"RFC"},{"key":"e_1_3_2_2_34_1","volume-title":"A survey on semantic parsing. arXiv preprint arXiv:1812.00978","author":"Kamath A.","year":"2018","unstructured":"Kamath , A. , and Das , R . A survey on semantic parsing. arXiv preprint arXiv:1812.00978 ( 2018 ). Kamath, A., and Das, R. A survey on semantic parsing. arXiv preprint arXiv:1812.00978 (2018)."},{"key":"e_1_3_2_2_35_1","first-page":"5880","article-title":"Bidirectional Forwarding Detection (BFD)","author":"Katz D.","year":"2010","unstructured":"Katz , D. , and Ward , D . Bidirectional Forwarding Detection (BFD) . RFC 5880 , 2010 . Katz, D., and Ward, D. Bidirectional Forwarding Detection (BFD). RFC 5880, 2010.","journal-title":"RFC"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00350141"},{"key":"e_1_3_2_2_37_1","volume-title":"Routing Policy Specification Language (RPSL). RFC","author":"Kessens D.","year":"1999","unstructured":"Kessens , D. , Bates , T. J. , Alaettinoglu , C. , Meyer , D. , Villamizar , C. , Terpstra , M. , Karrenberg , D. , and Gerich , E. P . Routing Policy Specification Language (RPSL). RFC 2622, June 1999 . Kessens, D., Bates, T. J., Alaettinoglu, C., Meyer, D., Villamizar, C., Terpstra, M., Karrenberg, D., and Gerich, E. P. Routing Policy Specification Language (RPSL). RFC 2622, June 1999."},{"key":"e_1_3_2_2_38_1","volume-title":"4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07)","author":"Killian C.","year":"2007","unstructured":"Killian , C. , Anderson , J. W. , Jhala , R. , and Vahdat , A . Life, death, and the critical transition: Finding liveness bugs in systems code . In 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07) ( 2007 ), NSDI, USENIX Association. Killian, C., Anderson, J. W., Jhala, R., and Vahdat, A. Life, death, and the critical transition: Finding liveness bugs in systems code. In 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07) (2007), NSDI, USENIX Association."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250755"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/316188.316200"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1160"},{"key":"e_1_3_2_2_42_1","volume-title":"Computer networking: A top down approach","author":"Kurose J.","year":"2012","unstructured":"Kurose , J. , and Ross , K . Computer networking: A top down approach , 2012 . Kurose, J., and Ross, K. Computer networking: A top down approach, 2012."},{"key":"e_1_3_2_2_43_1","volume-title":"Albert: A lite bert for self-supervised learning of language representations. arXiv preprint arXiv:1909.11942","author":"Lan Z.","year":"2019","unstructured":"Lan , Z. , Chen , M. , Goodman , S. , Gimpel , K. , Sharma , P. , and Soricut , R . Albert: A lite bert for self-supervised learning of language representations. arXiv preprint arXiv:1909.11942 ( 2019 ). Lan, Z., Chen, M., Goodman, S., Gimpel, K., Sharma, P., and Soricut, R. Albert: A lite bert for self-supervised learning of language representations. arXiv preprint arXiv:1909.11942 (2019)."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_3_2_2_45_1","volume-title":"NDSS","author":"Lee H.","year":"2012","unstructured":"Lee , H. , Seibert , J. , Killian , C. E. , and Nita-Rotaru , C. Gatling: Automatic attack discovery in large-scale distributed systems . In NDSS ( 2012 ). Lee, H., Seibert, J., Killian, C. E., and Nita-Rotaru, C. Gatling: Automatic attack discovery in large-scale distributed systems. In NDSS (2012)."},{"key":"e_1_3_2_2_46_1","volume-title":"Neural symbolic machines: Learning semantic parsers on freebase with weak supervision. arXiv preprint arXiv:1611.00020","author":"Liang C.","year":"2016","unstructured":"Liang , C. , Berant , J. , Le , Q. , Forbus , K. D. , and Lao , N . Neural symbolic machines: Learning semantic parsers on freebase with weak supervision. arXiv preprint arXiv:1611.00020 ( 2016 ). Liang, C., Berant, J., Le, Q., Forbus, K. D., and Lao, N. Neural symbolic machines: Learning semantic parsers on freebase with weak supervision. arXiv preprint arXiv:1611.00020 (2016)."},{"key":"e_1_3_2_2_48_1","volume-title":"Latent predictor networks for code generation. arXiv preprint arXiv:1603.06744","author":"Ling W.","year":"2016","unstructured":"Ling , W. , Grefenstette , E. , Hermann , K. M. , Ko\u010disk\u1ef3 , T. , Senior , A. , Wang , F. , and Blunsom , P . Latent predictor networks for code generation. arXiv preprint arXiv:1603.06744 ( 2016 ). Ling, W., Grefenstette, E., Hermann, K. M., Ko\u010disk\u1ef3, T., Senior, A., Wang, F., and Blunsom, P. Latent predictor networks for code generation. arXiv preprint arXiv:1603.06744 (2016)."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.3115\/1118108.1118117"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737980"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908097"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342087"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3404868.3406671"},{"key":"e_1_3_2_2_54_1","first-page":"1059","article-title":"Network Time Protocol (version 1) specification and implementation","author":"Mills D","year":"1988","unstructured":"Mills , D . Network Time Protocol (version 1) specification and implementation . RFC 1059 , 1988 . Mills, D. Network Time Protocol (version 1) specification and implementation. RFC 1059, 1988.","journal-title":"RFC"},{"key":"e_1_3_2_2_55_1","first-page":"1","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)","author":"Monsanto C.","year":"2013","unstructured":"Monsanto , C. , Reich , J. , Foster , N. , Rexford , J. , and Walker , D . Composing software defined networks . In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13) (Lombard, IL, Apr. 2013 ), USENIX Association , pp. 1 -- 13 . Monsanto, C., Reich, J., Foster, N., Rexford, J., and Walker, D. Composing software defined networks. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13) (Lombard, IL, Apr. 2013), USENIX Association, pp. 1--13."},{"key":"e_1_3_2_2_56_1","first-page":"353","volume-title":"Presented as part of the 9th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 12)","author":"Nagaraj K.","year":"2012","unstructured":"Nagaraj , K. , Killian , C. , and Neville , J . Structured comparative analysis of systems logs to diagnose performance problems . In Presented as part of the 9th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 12) ( 2012 ), pp. 353 -- 366 . Nagaraj, K., Killian, C., and Neville, J. Structured comparative analysis of systems logs to diagnose performance problems. In Presented as part of the 9th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 12) (2012), pp. 353--366."},{"key":"e_1_3_2_2_57_1","unstructured":"List of NLTK dependents. https:\/\/github.com\/nltk\/nltk\/network\/dependents.  List of NLTK dependents. https:\/\/github.com\/nltk\/nltk\/network\/dependents."},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2738007"},{"key":"e_1_3_2_2_59_1","first-page":"485","volume-title":"12th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 15)","author":"Pedrosa L.","year":"2015","unstructured":"Pedrosa , L. , Fogel , A. , Kothari , N. , Govindan , R. , Mahajan , R. , and Millstein , T . Analyzing protocol implementations for interoperability . In 12th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 15) ( 2015 ), pp. 485 -- 498 . Pedrosa, L., Fogel, A., Kothari, N., Govindan, R., Mahajan, R., and Millstein, T. Analyzing protocol implementations for interoperability. In 12th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 15) (2015), pp. 485--498."},{"key":"e_1_3_2_2_60_1","volume-title":"Deep contextualized word representations. arXiv preprint arXiv:1802.05365","author":"Peters M. E.","year":"2018","unstructured":"Peters , M. E. , Neumann , M. , Iyyer , M. , Gardner , M. , Clark , C. , Lee , K. , and Zettlemoyer , L . Deep contextualized word representations. arXiv preprint arXiv:1802.05365 ( 2018 ). Peters, M. E., Neumann, M., Iyyer, M., Gardner, M., Clark, C., Lee, K., and Zettlemoyer, L. Deep contextualized word representations. arXiv preprint arXiv:1802.05365 (2018)."},{"key":"e_1_3_2_2_61_1","first-page":"364","volume-title":"International Workshop on Verification, Model Checking, and Abstract Interpretation","author":"Piterman N.","year":"2006","unstructured":"Piterman , N. , Pnueli , A. , and Sa'ar , Y. Synthesis of reactive (1) designs . In International Workshop on Verification, Model Checking, and Abstract Interpretation ( 2006 ), Springer , pp. 364 -- 380 . Piterman, N., Pnueli, A., and Sa'ar, Y. Synthesis of reactive (1) designs. In International Workshop on Verification, Model Checking, and Abstract Interpretation (2006), Springer, pp. 364--380."},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"e_1_3_2_2_63_1","first-page":"792","author":"Postel","year":"1981","unstructured":"Postel , J. Internet Control Message Protocol. RFC 792 , 1981 . Postel, J. Internet Control Message Protocol. RFC 792, 1981.","journal-title":"J. Internet Control Message Protocol. RFC"},{"key":"e_1_3_2_2_64_1","volume-title":"Abstract syntax networks for code generation and semantic parsing. arXiv preprint arXiv:1704.07535","author":"Rabinovich M.","year":"2017","unstructured":"Rabinovich , M. , Stern , M. , and Klein , D . Abstract syntax networks for code generation and semantic parsing. arXiv preprint arXiv:1704.07535 ( 2017 ). Rabinovich, M., Stern, M., and Klein, D. Abstract syntax networks for code generation and semantic parsing. arXiv preprint arXiv:1704.07535 (2017)."},{"key":"e_1_3_2_2_65_1","first-page":"8","article-title":"Language models are unsupervised multitask learners","volume":"1","author":"Radford A.","year":"2019","unstructured":"Radford , A. , Wu , J. , Child , R. , Luan , D. , Amodei , D. , and Sutskever , I . Language models are unsupervised multitask learners . OpenAI Blog 1 , 8 ( 2019 ), 9. Radford, A., Wu, J., Child, R., Luan, D., Amodei, D., and Sutskever, I. Language models are unsupervised multitask learners. OpenAI Blog 1, 8 (2019), 9.","journal-title":"OpenAI Blog"},{"key":"e_1_3_2_2_66_1","volume-title":"Lexical complexity and fixation times in reading: Effects of word frequency, verb complexity, and lexical ambiguity. Memory & cognition 14, 3","author":"Rayner K.","year":"1986","unstructured":"Rayner , K. , and Duffy , S. A . Lexical complexity and fixation times in reading: Effects of word frequency, verb complexity, and lexical ambiguity. Memory & cognition 14, 3 ( 1986 ), 191--201. Rayner, K., and Duffy, S. A. Lexical complexity and fixation times in reading: Effects of word frequency, verb complexity, and lexical ambiguity. Memory & cognition 14, 3 (1986), 191--201."},{"key":"e_1_3_2_2_67_1","unstructured":"Rfc editor. http:\/\/www.rfc-editor.org\/.  Rfc editor. http:\/\/www.rfc-editor.org\/."},{"key":"e_1_3_2_2_68_1","first-page":"8452","author":"Gueron A.","year":"2019","unstructured":"S. Gueron , A. Langley , Y. L. AES-GCM-SIV : Nonce Misuse-Resistant Authenticated Encryption. RFC 8452 , 2019 . S. Gueron, A. Langley, Y. L. AES-GCM-SIV: Nonce Misuse-Resistant Authenticated Encryption. RFC 8452, 2019.","journal-title":"Nonce Misuse-Resistant Authenticated Encryption. RFC"},{"key":"e_1_3_2_2_69_1","unstructured":"SAGE. https:\/\/github.com\/USC-NSL\/sage.  SAGE. https:\/\/github.com\/USC-NSL\/sage."},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.5555\/93925"},{"key":"e_1_3_2_2_71_1","volume-title":"https:\/\/www.cs.columbia.edu\/sip\/sipit\/1\/","author":"First","year":"2008","unstructured":"First sip interoperability test event. https:\/\/www.cs.columbia.edu\/sip\/sipit\/1\/ , 2008 . First sip interoperability test event. https:\/\/www.cs.columbia.edu\/sip\/sipit\/1\/, 2008."},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623340"},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1161"},{"key":"e_1_3_2_2_75_1","volume-title":"Combinatory categorial grammar. Non-Transformational Syntax: Formal and explicit models of grammar","author":"Steedman M.","year":"2011","unstructured":"Steedman , M. , and Baldridge , J . Combinatory categorial grammar. Non-Transformational Syntax: Formal and explicit models of grammar ( 2011 ), 181--224. Steedman, M., and Baldridge, J. Combinatory categorial grammar. Non-Transformational Syntax: Formal and explicit models of grammar (2011), 181--224."},{"key":"e_1_3_2_2_76_1","unstructured":"Tcpdump & libpcap public repository. https:\/\/www.tcpdump.org\/. Accessed: 2020-05-22.  Tcpdump & libpcap public repository. https:\/\/www.tcpdump.org\/. Accessed: 2020-05-22."},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.5555\/2900423.2900661"},{"key":"e_1_3_2_2_78_1","first-page":"8448","article-title":"Example Handshake Traces for TLS 1.3","author":"Thomson M","year":"2019","unstructured":"Thomson , M . Example Handshake Traces for TLS 1.3 . RFC 8448 , 2019 . Thomson, M. Example Handshake Traces for TLS 1.3. RFC 8448, 2019.","journal-title":"RFC"},{"key":"e_1_3_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPOM.2003.1251233"},{"key":"e_1_3_2_2_80_1","volume-title":"D\u00e9partement d'informatique et de recherche \u2026","author":"von Bochmann G.","year":"1987","unstructured":"von Bochmann , G. Methods and tools for the design and validation of protocol specifications and implementations. Universit\u00e9 de Montr\u00e9al , D\u00e9partement d'informatique et de recherche \u2026 , 1987 . von Bochmann, G. Methods and tools for the design and validation of protocol specifications and implementations. Universit\u00e9 de Montr\u00e9al, D\u00e9partement d'informatique et de recherche \u2026, 1987."},{"key":"e_1_3_2_2_81_1","volume-title":"Learning language games through interaction. arXiv preprint arXiv:1606.02447","author":"Wang S. I.","year":"2016","unstructured":"Wang , S. I. , Liang , P. , and Manning , C. D . Learning language games through interaction. arXiv preprint arXiv:1606.02447 ( 2016 ). Wang, S. I., Liang, P., and Manning, C. D. Learning language games through interaction. arXiv preprint arXiv:1606.02447 (2016)."},{"key":"e_1_3_2_2_82_1","volume-title":"International Conference on Learning Representations","author":"Wang Z.","year":"2020","unstructured":"Wang , Z. , Qin , Y. , Zhou , W. , Yan , J. , Ye , Q. , Neves , L. , Liu , Z. , and Ren , X . Learning from explanations with neural execution tree . In International Conference on Learning Representations ( 2020 ). Wang, Z., Qin, Y., Zhou, W., Yan, J., Ye, Q., Neves, L., Liu, Z., and Ren, X. Learning from explanations with neural execution tree. In International Conference on Learning Representations (2020)."},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.3115\/1611546.1611549"},{"key":"e_1_3_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"e_1_3_2_2_85_1","first-page":"5754","volume-title":"Advances in neural information processing systems","author":"Yang Z.","year":"2019","unstructured":"Yang , Z. , Dai , Z. , Yang , Y. , Carbonell , J. , Salakhutdinov , R. R. , and Le , Q. V . Xlnet: Generalized autoregressive pretraining for language understanding . In Advances in neural information processing systems ( 2019 ), pp. 5754 -- 5764 . Yang, Z., Dai, Z., Yang, Y., Carbonell, J., Salakhutdinov, R. R., and Le, Q. V. Xlnet: Generalized autoregressive pretraining for language understanding. In Advances in neural information processing systems (2019), pp. 5754--5764."},{"key":"e_1_3_2_2_86_1","volume-title":"A syntactic neural model for general-purpose code generation. arXiv preprint arXiv:1704.01696","author":"Yin P.","year":"2017","unstructured":"Yin , P. , and Neubig , G . A syntactic neural model for general-purpose code generation. arXiv preprint arXiv:1704.01696 ( 2017 ). Yin, P., and Neubig, G. A syntactic neural model for general-purpose code generation. arXiv preprint arXiv:1704.01696 (2017)."},{"key":"e_1_3_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-1041"},{"key":"e_1_3_2_2_88_1","volume-title":"Structvae: Tree-structured latent variable models for semi-supervised semantic parsing. arXiv preprint arXiv:1806.07832","author":"Yin P.","year":"2018","unstructured":"Yin , P. , Zhou , C. , He , J. , and Neubig , G . Structvae: Tree-structured latent variable models for semi-supervised semantic parsing. arXiv preprint arXiv:1806.07832 ( 2018 ). Yin, P., Zhou, C., He, J., and Neubig, G. Structvae: Tree-structured latent variable models for semi-supervised semantic parsing. arXiv preprint arXiv:1806.07832 (2018)."},{"key":"e_1_3_2_2_89_1","volume-title":"Amr parsing as sequence-to-graph transduction. ArXiv abs\/1905.08704","author":"Zhang S.","year":"2019","unstructured":"Zhang , S. , Ma , X. , Duh , K. , and Durme , B. V . Amr parsing as sequence-to-graph transduction. ArXiv abs\/1905.08704 ( 2019 ). Zhang, S., Ma, X., Duh, K., and Durme, B. V. Amr parsing as sequence-to-graph transduction. ArXiv abs\/1905.08704 (2019)."},{"key":"e_1_3_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1392"}],"event":{"name":"SIGCOMM '21: ACM SIGCOMM 2021 Conference","location":"Virtual Event USA","acronym":"SIGCOMM '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 2021 ACM SIGCOMM 2021 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472910","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452296.3472910","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452296.3472910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:40Z","timestamp":1750191460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,9]]},"references-count":89,"alternative-id":["10.1145\/3452296.3472910","10.1145\/3452296"],"URL":"https:\/\/doi.org\/10.1145\/3452296.3472910","relation":{},"subject":[],"published":{"date-parts":[[2021,8,9]]},"assertion":[{"value":"2021-08-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}