Programming with "Big Code" (Dagstuhl Seminar 15472)
Programming with "Big Code" (Dagstuhl Seminar 15472)
复制标题
使用“大代码”编程（Dagstuhl 研讨会 15472）
DOI：
10.4230/dagrep.5.11.90
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Martin T. Vechev
中科院分区：
文献类型：
--
作者：
William W. Cohen;Charles Sutton;Martin T. Vechev
本报告记录了Dagstuhl研讨会15472“使用“大代码”编程”的计划和成果。“大代码”是一个术语，用来指在开源存储库（如GitHub，BitBucket等）中发现的数百万程序的可用性不断增加。
有了这种可用性，一个机会出现在开发新的统计编程工具，学习和利用的努力，进入建设，调试和测试的程序在“大代码”，以解决各种重要和有趣的编程挑战。
然而，开发此类统计工具需要计算机科学多个领域的深厚专业知识，包括机器学习，自然语言处理，编程语言和软件工程。由于其高度跨学科的性质，研讨会涉及来自这些领域的顶级专家谁曾在该领域的工作或感兴趣。
研讨会成功地使与会者熟悉了该领域的最新发展，为不同社区带来了新的认识，并概述了未来的研究方向。
This report documents the program and the outcomes of Dagstuhl Seminar 15472 "Programming with "Big Code"". "Big Code" is a term used to refer to the increasing availability of the millions of programs found in open source repositories such as GitHub, BitBucket, and others.
With this availability, an opportunity appears in developing new kinds of statistical programming tools that learn and leverage the effort that went into building, debugging and testing the programs in "Big Code" in order to solve various important and interesting programming challenges.
Developing such statistical tools however requires deep expertise across multiple areas of computer science including machine learning, natural language processing, programming languages and software engineering. Because of its highly inter-disciplinary nature, the seminar involved top experts from these fields who have worked on or are interested in the area.
The seminar was successful in familiarizing the participants with recent developments in the area, bringing new understanding to different communities and outlining future research directions.