{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:43:28Z","timestamp":1775054608855,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T00:00:00Z","timestamp":1604793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CCF-1525609, CCF-1703487, CNS-1717425"],"award-info":[{"award-number":["CCF-1525609, CCF-1703487, CNS-1717425"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3409673","type":"proceedings-article","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T21:09:10Z","timestamp":1605042550000},"page":"75-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["HISyn: human learning-inspired natural language programming"],"prefix":"10.1145","author":[{"given":"Zifan","family":"Nan","sequence":"first","affiliation":[{"name":"North Carolina State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Guan","sequence":"additional","affiliation":[{"name":"University of Massachusetts at Amherst, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xipeng","family":"Shen","sequence":"additional","affiliation":[{"name":"North Carolina State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"crossref","unstructured":"Miltiadis Allamanis Earl T Barr Premkumar Devanbu and Charles Sutton. 2018. A survey of machine learning for big code and naturalness. ACM Computing Surveys (CSUR) 51 4 ( 2018 ) 1-37.  Miltiadis Allamanis Earl T Barr Premkumar Devanbu and Charles Sutton. 2018. A survey of machine learning for big code and naturalness. ACM Computing Surveys (CSUR) 51 4 ( 2018 ) 1-37.","DOI":"10.1145\/3212695"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360594"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314594"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106285"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338951"},{"key":"e_1_3_2_2_6_1","volume-title":"Engineering a compiler","author":"Cooper Keith"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.3115\/1075812.1075823"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884786"},{"key":"e_1_3_2_2_9_1","first-page":"990","volume-title":"Proceedings of the 34th International Conference on Machine LearningVolume 70","author":"Devlin Jacob","year":"2017"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357223.3362701"},{"key":"e_1_3_2_2_11_1","unstructured":"Li Dong and Mirella Lapata. 2016. Language to Logical Form with Neural Attention. In ACL (1). http:\/\/aclweb.org\/anthology\/P\/P16\/P16-1004.pdf  Li Dong and Mirella Lapata. 2016. Language to Logical Form with Neural Attention. In ACL (1). http:\/\/aclweb.org\/anthology\/P\/P16\/P16-1004.pdf"},{"key":"e_1_3_2_2_12_1","volume-title":"2nd Summit on Advances in Programming Languages (SNAPL 2017 ). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.","author":"Ernst Michael D"},{"key":"e_1_3_2_2_13_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_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950334"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126961"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.69"},{"key":"e_1_3_2_2_18_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_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2612177"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858965.2814295"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2891053"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236055"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_2_24_1","volume-title":"The AAAI-2004 workshop on supervisory control of learning and adaptive systems","author":"Kuhlmann Gregory","year":"2004"},{"key":"e_1_3_2_2_25_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","journal-title":"ACM"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106309"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735461.2735468"},{"key":"e_1_3_2_2_29_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"},{"key":"e_1_3_2_2_30_1","volume-title":"Tom\u00e1\u0161 Ko\u010disky`, Andrew Senior, Fumin Wang, and Phil Blunsom.","author":"Ling Wang","year":"2016"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.42"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P14-5010"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985809"},{"key":"e_1_3_2_2_34_1","volume-title":"WordNet: An electronic lexical database","author":"Miller George A"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"crossref","unstructured":"Peter Naur John W Backus Friedrich L Bauer Julien Green Charles Katz and John McCarthy. 1963. Revised report on the algorithmic language Algol 60. Commun. ACM 6 1 ( 1963 ) 1-17.  Peter Naur John W Backus Friedrich L Bauer Julien Green Charles Katz and John McCarthy. 1963. Revised report on the algorithmic language Algol 60. Commun. ACM 6 1 ( 1963 ) 1-17.","DOI":"10.1145\/366193.366201"},{"key":"e_1_3_2_2_36_1","volume-title":"Workshops at the Thirty-Second AAAI Conference on Artificial Intelligence.","author":"Nie Pengyu","year":"2018"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.36"},{"key":"e_1_3_2_2_38_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_2_39_1","volume-title":"Neural Program Search: Solving Programming Tasks from Description and Examples. arXiv preprint arXiv","author":"Polosukhin Illia","year":"1802"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1085"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-1105"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884808"},{"key":"e_1_3_2_2_43_1","first-page":"792","article-title":"Compositional Program Synthesis from Natural Language and Examples","author":"Raza Mohammad","year":"2015","journal-title":"IJCAI."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236034"},{"key":"e_1_3_2_2_45_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_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132847.3133009"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137983.1137997"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"},{"key":"e_1_3_2_2_49_1","unstructured":"Pengcheng Yin and Graham Neubig. 2017. A syntactic neural model for generalpurpose code generation. arXiv preprint arXiv:1704.01696 ( 2017 ).  Pengcheng Yin and Graham Neubig. 2017. A syntactic neural model for generalpurpose code generation. arXiv preprint arXiv:1704.01696 ( 2017 )."},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2019.00021"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"crossref","unstructured":"Juan Zhai Xiangzhe Xu Yu Shi Minxue Pan Shiqing Ma Lei Xu Weifeng Zhang Lin Tan and Xiangyu Zhang. 2019. CPC: automatically classifying and propagating natural language comments via program analysis. ( 2019 ).  Juan Zhai Xiangzhe Xu Yu Shi Minxue Pan Shiqing Ma Lei Xu Weifeng Zhang Lin Tan and Xiangyu Zhang. 2019. CPC: automatically classifying and propagating natural language comments via program analysis. ( 2019 ).","DOI":"10.1145\/3377811.3380427"},{"key":"e_1_3_2_2_52_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_2_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.11"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Virtual Event USA","acronym":"ESEC\/FSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409673","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3409673","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3409673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:39Z","timestamp":1750203879000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,8]]},"references-count":52,"alternative-id":["10.1145\/3368089.3409673","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3409673","relation":{},"subject":[],"published":{"date-parts":[[2020,11,8]]},"assertion":[{"value":"2020-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}