Page 160 - 《软件学报》2021年第5期

1384 Journal of Software 软件学报 Vol.32, No.5, May 2021

[47] Quirk C, Mooney R, Galley M. Language to code: Learning semantic parsers for if-this-then-that recipes. In: Proc. of the 53rd
Annual Meeting of the Association for Computational Linguistics and the 7th Int’l Joint Conf. on Natural Language Processing,
Vol.1. 2015. 878−888.
[48] Liu C, Chen X, Shin EC, et al. Latent attention for if-then program synthesis. In: Advances in Neural Information Processing
Systems. 2016. 4574−4582.
[49] Gu X, Zhang H, Zhang D, Kim S. Deep API learning. In: Proc. of the 2016 24th ACM SIGSOFT Int’l Symp. on Foundations of
Software Engineering. ACM, 2016. 631−642. [doi: 10.1145/2950290.2950334]
[50] Gu X, Zhang H, Kim S. Deep code search. In: Proc. of the 2018 40th Int’l Conf. on Software Engineering (ICSE). IEEE, 2018.
933−944.
[51] Zhong V, Xiong C, Socher R. Seq2sql: Generating structured queries from natural language using reinforcement learning. arXiv
preprint arXiv:1709.00103, 2017.
[52] Manshadi M, Keenan C, Allen J. Using the crowd to do natural language programming. In: Proc. of the AAAI. 2012. 134−135.
[53] Dong L, Lapata M. Language to logical form with neural attention. In: Proc. of the 54th Annual Meeting of the Association for
Computational Linguistics. 2016. 33−43.
[54] Desai A, Gulwani S, Hingorani V, Jain N, Karkare A, Marron MRS, Roy S. Program synthesis using natural language. In: Proc. of
the 38th Int’l Conf. on Software Engineering. ACM, 2016. 345−356.
[55] Gulwani S. Automating string processing in spreadsheets using input-output examples. Proc. of the ACM SIGPLAN Notices, 2011,
46(1):317−330.
[56] Jha S, Seshia SA. A theory of formal synthesis via inductive learning. arXiv preprint arXiv:1505.03953, 2015.
[57] Jha S, Gulwani S, Seshia SA, Tiwari A. Oracle guided component-based program synthesis. In: Proc. of the 2010 ACM/IEEE 32nd
Int’l Conf. on Software Engineering (ICSE), Vol.1. IEEE, 2010. 215−224.
附中文参考文献:
[3] 杨芙清.软件工程技术发展思索.软件学报,2005,16(1):1−7. http://www.jos.org.cn/1000-9825/16/1.htm
[5] 杨芙清,梅宏,吕建,金芝.浅论软件技术发展.电子学报,2002,30(12A):1901−1906.
[6] 白光野,徐崇,范植华,蒋东溟.从软件工程的发展看软件自动化.软件学报,1995,6:292−300. http://www.jos.org.cn/jos/ch/reader/
create_pdf.aspx?file_no=1995s141&year_id=1995&quarter_id=zk&falg=1
[7] 刘斌斌,董威,王戟.智能化的程序搜索与构造方法综述.软件学报,2018,29(8):2180−2197. http://www.jos.org.cn/1000-9825/5529.
htm [doi: 10.13328/j.cnki.jos.005529]

顾斌(1968－),男,博士,研究员,博士生导 李晓锋(1982－),男,研究员,CCF 专业会
师,CCF 高级会员,主要研究领域为计算机 员,主要研究领域为嵌入式高可信软件开
控制,可信软件,信息物理系统. 发,软件缺陷检测,软件智能开发.

于波(1988－),女,博士,中级工程师,CCF 钟睿 明 (1985 － ), 男 , 博士 , 高级工程师 ,
专业会员,主要研究领域为嵌入式高可信 CCF 专业会员,主要研究领域为嵌入式高
软件开发,智能化软件开发,代码搜索与推 可信软件开发,人工智能,进化计算,分布
荐,软件定义卫星. 式计算.

董晓刚(1974－),男,研究员,CCF 专业会 杨孟飞(1962－),男,博士,研究员,博士生
员,主要研究领域为嵌入式高可信软件开 导师,CCF 高级会员,主要研究领域为空间
发,软件缺陷检测,软件智能开发. 飞行器设计,控制计算机,可信软件,软件
智能开发.