{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:43:19Z","timestamp":1775054599385,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DE-SC0013700","award":["Department of Energy"],"award-info":[{"award-number":["Department of Energy"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1717425, CCF-1703487, CCF-2028850"],"award-info":[{"award-number":["CNS-1717425, CCF-1703487, CCF-2028850"]}],"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,3,2]]},"DOI":"10.1145\/3446804.3446852","type":"proceedings-article","created":{"date-parts":[[2021,2,14]],"date-time":"2021-02-14T10:23:10Z","timestamp":1613298190000},"page":"141-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Deep NLP-based co-evolvement for synthesizing code analysis from natural language"],"prefix":"10.1145","author":[{"given":"Zifan","family":"Nan","sequence":"first","affiliation":[{"name":"North Carolina State University, USA"}]},{"given":"Hui","family":"Guan","sequence":"additional","affiliation":[{"name":"University of Massachusetts at Amherst, USA"}]},{"given":"Xipeng","family":"Shen","sequence":"additional","affiliation":[{"name":"North Carolina State University, USA"}]},{"given":"Chunhua","family":"Liao","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,2,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360594"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338951"},{"key":"e_1_3_2_1_3_1","unstructured":"The Clang-Team. [n.d.]. ASTMatcher Reference. clang.llvm.org\/docs\/ LibASTMatchersReference.html.  The Clang-Team. [n.d.]. ASTMatcher Reference. clang.llvm.org\/docs\/ LibASTMatchersReference.html."},{"key":"e_1_3_2_1_4_1","unstructured":"The Clang-Team. [n.d.]. Clang. clang.llvm.org..  The Clang-Team. [n.d.]. Clang. clang.llvm.org.."},{"key":"e_1_3_2_1_5_1","unstructured":"The Clang-Team. [n.d.]. Tutorial for building tools using LibTooling and LibASTMatchers. clang.llvm.org\/docs\/LibASTMatchersTutorial. html.  The Clang-Team. [n.d.]. Tutorial for building tools using LibTooling and LibASTMatchers. clang.llvm.org\/docs\/LibASTMatchersTutorial. html."},{"key":"e_1_3_2_1_6_1","volume-title":"Engineering a compiler","author":"Cooper Keith","unstructured":"Keith Cooper and Linda Torczon . 2011. Engineering a compiler . Elsevier . Keith Cooper and Linda Torczon. 2011. Engineering a compiler. Elsevier."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884786"},{"key":"e_1_3_2_1_8_1","first-page":"990","volume-title":"Proceedings of the 34th International Conference on Machine Learning-Volume 70","author":"Devlin Jacob","year":"2017","unstructured":"Jacob Devlin , Jonathan Uesato , Surya Bhupatiraju , Rishabh Singh , Abdel-rahman Mohamed, and Pushmeet Kohli . 2017 . Robustfill: Neural program learning under noisy i\/o . In Proceedings of the 34th International Conference on Machine Learning-Volume 70 . JMLR. org, 990 - 998 . Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli. 2017. Robustfill: Neural program learning under noisy i\/o. In Proceedings of the 34th International Conference on Machine Learning-Volume 70. JMLR. org, 990-998."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Yu Feng Ruben Martins Yuepeng Wang Isil Dillig and Thomas W Reps. 2017. Component-based synthesis for complex APIs. ACM SIGPLAN Notices 52 1 ( 2017 ) 599-612.  Yu Feng Ruben Martins Yuepeng Wang Isil Dillig and Thomas W Reps. 2017. Component-based synthesis for complex APIs. ACM SIGPLAN Notices 52 1 ( 2017 ) 599-612.","DOI":"10.1145\/3093333.3009851"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950334"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926423"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.69"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Sumit Gulwani Susmit Jha Ashish Tiwari and Ramarathnam Venkatesan. 2011. Synthesis of loop-free programs. ACM SIGPLAN Notices 46 6 ( 2011 ) 62-73.  Sumit Gulwani Susmit Jha Ashish Tiwari and Ramarathnam Venkatesan. 2011. Synthesis of loop-free programs. ACM SIGPLAN Notices 46 6 ( 2011 ) 62-73.","DOI":"10.1145\/1993316.1993506"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2612177"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Sumit Gulwani Oleksandr Polozov Rishabh Singh etal 2017. Program synthesis. Foundations and Trends\u00ae in Programming Languages 4 1-2 ( 2017 ) 1-119.  Sumit Gulwani Oleksandr Polozov Rishabh Singh et al. 2017. Program synthesis. Foundations and Trends\u00ae in Programming Languages 4 1-2 ( 2017 ) 1-119.","DOI":"10.1561\/2500000010"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858965.2814295"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236055"},{"key":"e_1_3_2_1_18_1","unstructured":"Tim Kelley. 2017. FINDING GLOBAL VARIABLES WITH CLANG AST MATCHERS. htps:\/\/variousburglarious.com\/ 2017 \/01\/18\/findingglobal-variables-with-clang-ast-matchers\/. Accessed: 2018-11-14.  Tim Kelley. 2017. FINDING GLOBAL VARIABLES WITH CLANG AST MATCHERS. htps:\/\/variousburglarious.com\/ 2017 \/01\/18\/findingglobal-variables-with-clang-ast-matchers\/. Accessed: 2018-11-14."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Sandra K\u00fcbler Ryan McDonald and Joakim Nivre. 2009. Dependency parsing. Synthesis Lectures on Human Language Technologies 1 1 ( 2009 ) 1-127.  Sandra K\u00fcbler Ryan McDonald and Joakim Nivre. 2009. Dependency parsing. Synthesis Lectures on Human Language Technologies 1 1 ( 2009 ) 1-127.","DOI":"10.2200\/S00169ED1V01Y200901HLT002"},{"key":"e_1_3_2_1_20_1","volume-title":"The AAAI-2004 workshop on supervisory control of learning and adaptive systems","author":"Kuhlmann Gregory","year":"2004","unstructured":"Gregory Kuhlmann , Peter Stone , Raymond Mooney , and Jude Shavlik . 2004 . Guiding a reinforcement learner with natural language advice: Initial results in RoboCup soccer . In The AAAI-2004 workshop on supervisory control of learning and adaptive systems . San Jose, CA. Gregory Kuhlmann, Peter Stone, Raymond Mooney, and Jude Shavlik. 2004. Guiding a reinforcement learner with natural language advice: Initial results in RoboCup soccer. In The AAAI-2004 workshop on supervisory control of learning and adaptive systems. San Jose, CA."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 826-836","author":"Kushman Nate","year":"2013","unstructured":"Nate Kushman and Regina Barzilay . 2013 . Using semantic unification to generate regular expressions from natural language . In Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 826-836 . Nate Kushman and Regina Barzilay. 2013. Using semantic unification to generate regular expressions from natural language. In Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 826-836."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_23_1","first-page":"193","article-title":"Smartsynth: Synthesizing smartphone automation scripts from natural language. In Proceeding of the 11th annual international conference on Mobile systems, applications, and services","author":"Le Vu","year":"2013","unstructured":"Vu Le , Sumit Gulwani , and Zhendong Su . 2013 . Smartsynth: Synthesizing smartphone automation scripts from natural language. In Proceeding of the 11th annual international conference on Mobile systems, applications, and services . ACM , 193 - 206 . Vu Le, Sumit Gulwani, and Zhendong Su. 2013. Smartsynth: Synthesizing smartphone automation scripts from natural language. In Proceeding of the 11th annual international conference on Mobile systems, applications, and services. ACM, 193-206.","journal-title":"ACM"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735461.2735468"},{"key":"e_1_3_2_1_26_1","volume-title":"NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. arXiv preprint arXiv","author":"Lin Xi Victoria","year":"1802","unstructured":"Xi Victoria Lin , Chenglong Wang , Luke Zettlemoyer , and Michael D Ernst . 2018. NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. arXiv preprint arXiv : 1802 . 08979 ( 2018 ). Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, and Michael D Ernst. 2018. NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. arXiv preprint arXiv: 1802. 08979 ( 2018 )."},{"key":"e_1_3_2_1_27_1","volume-title":"Tom\u00e1? Ko?isky`, Andrew Senior, Fumin Wang, and Phil Blunsom.","author":"Ling Wang","year":"2016","unstructured":"Wang Ling , Edward Grefenstette , Karl Moritz Hermann , Tom\u00e1? Ko?isky`, Andrew Senior, Fumin Wang, and Phil Blunsom. 2016 . Latent predictor networks for code generation. arXiv preprint arXiv:1603.06744 ( 2016 ). Wang Ling, Edward Grefenstette, Karl Moritz Hermann, Tom\u00e1? Ko?isky`, Andrew Senior, Fumin Wang, and Phil Blunsom. 2016. Latent predictor networks for code generation. arXiv preprint arXiv:1603.06744 ( 2016 )."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Nicholas Locascio Karthik Narasimhan Eduardo DeLeon Nate Kushman and Regina Barzilay. 2016. Neural generation of regular expressions from natural language with minimal domain knowledge. arXiv preprint arXiv:1608.03000 ( 2016 ).  Nicholas Locascio Karthik Narasimhan Eduardo DeLeon Nate Kushman and Regina Barzilay. 2016. Neural generation of regular expressions from natural language with minimal domain knowledge. arXiv preprint arXiv:1608.03000 ( 2016 ).","DOI":"10.18653\/v1\/D16-1197"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.42"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P14-5010"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Mehdi Hafezi Manshadi Daniel Gildea and James F Allen. 2013. Integrating Programming by Example and Natural Language Programming.. In AAAI.  Mehdi Hafezi Manshadi Daniel Gildea and James F Allen. 2013. Integrating Programming by Example and Natural Language Programming.. In AAAI.","DOI":"10.1609\/aaai.v27i1.8695"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985809"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"George A Miller. 1995. WordNet: a lexical database for English. Commun. ACM 38 11 ( 1995 ) 39-41.  George A Miller. 1995. WordNet: a lexical database for English. Commun. ACM 38 11 ( 1995 ) 39-41.","DOI":"10.1145\/219717.219748"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409673"},{"key":"e_1_3_2_1_35_1","unstructured":"Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2016. Neuro-symbolic program synthesis. arXiv preprint arXiv:1611. 01855 ( 2016 ).  Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2016. Neuro-symbolic program synthesis. arXiv preprint arXiv:1611. 01855 ( 2016 )."},{"key":"e_1_3_2_1_36_1","volume-title":"Neural Program Search: Solving Programming Tasks from Description and Examples. arXiv preprint arXiv","author":"Polosukhin Illia","year":"1802","unstructured":"Illia Polosukhin and Alexander Skidanov . 2018. Neural Program Search: Solving Programming Tasks from Description and Examples. arXiv preprint arXiv : 1802 . 04335 ( 2018 ). Illia Polosukhin and Alexander Skidanov. 2018. Neural Program Search: Solving Programming Tasks from Description and Examples. arXiv preprint arXiv: 1802. 04335 ( 2018 )."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1085"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884808"},{"key":"e_1_3_2_1_39_1","first-page":"792","article-title":"Compositional Program Synthesis from Natural Language and Examples","author":"Raza Mohammad","year":"2015","unstructured":"Mohammad Raza , Sumit Gulwani , and Natasa Milic-Frayling . 2015 . Compositional Program Synthesis from Natural Language and Examples .. In IJCAI. 792 - 800 . Mohammad Raza, Sumit Gulwani, and Natasa Milic-Frayling. 2015. Compositional Program Synthesis from Natural Language and Examples.. In IJCAI. 792-800.","journal-title":"IJCAI."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 627-633","author":"Recasens Marta","year":"2013","unstructured":"Marta Recasens , Marie-Catherine de Marnefe , and Christopher Potts . 2013 . The life and death of discourse entities: Identifying singleton mentions . In Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 627-633 . Marta Recasens, Marie-Catherine de Marnefe, and Christopher Potts. 2013. The life and death of discourse entities: Identifying singleton mentions. In Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 627-633."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Armando Solar-Lezama and Rastislav Bodik. 2008. Program synthesis by sketching. Citeseer.  Armando Solar-Lezama and Rastislav Bodik. 2008. Program synthesis by sketching. Citeseer.","DOI":"10.1145\/1250734.1250754"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132847.3133009"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137983.1137997"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"},{"key":"e_1_3_2_1_45_1","unstructured":"Victor Zhong Caiming Xiong and Richard Socher. 2017. Seq2SQL: Generating structured queries from natural language using reinforcement learning. arXiv preprint arXiv:1709.00103 ( 2017 ).  Victor Zhong Caiming Xiong and Richard Socher. 2017. Seq2SQL: Generating structured queries from natural language using reinforcement learning. arXiv preprint arXiv:1709.00103 ( 2017 )."},{"key":"e_1_3_2_1_46_1","volume-title":"Workshops at the Thirty-Second AAAI Conference on Artificial Intelligence.","author":"Zhong Zexuan","year":"2018","unstructured":"Zexuan Zhong , Jiaqi Guo , Wei Yang , Tao Xie , Jian-Guang Lou , Ting Liu , and Dongmei Zhang . 2018 . Generating Regular Expressions from Natural Language Specifications: Are We There Yet? . In Workshops at the Thirty-Second AAAI Conference on Artificial Intelligence. Zexuan Zhong, Jiaqi Guo, Wei Yang, Tao Xie, Jian-Guang Lou, Ting Liu, and Dongmei Zhang. 2018. Generating Regular Expressions from Natural Language Specifications: Are We There Yet?. In Workshops at the Thirty-Second AAAI Conference on Artificial Intelligence."}],"event":{"name":"CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction","location":"Virtual Republic of Korea","acronym":"CC '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3446804.3446852","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3446804.3446852","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3446804.3446852","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3446804.3446852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:31Z","timestamp":1750193251000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3446804.3446852"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,27]]},"references-count":45,"alternative-id":["10.1145\/3446804.3446852","10.1145\/3446804"],"URL":"https:\/\/doi.org\/10.1145\/3446804.3446852","relation":{},"subject":[],"published":{"date-parts":[[2021,2,27]]},"assertion":[{"value":"2021-02-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}