论文标题
Github的融合行业和学术界（经验报告）
Fusing Industry and Academia at GitHub (Experience Report)
论文作者
论文摘要
GitHub托管了数亿个代码存储库，用数百种不同的编程语言编写。除了其托管服务外，GitHub还提供了对代码的数据和见解，例如漏洞分析和代码导航，用户可以改善和了解其软件开发过程。 GitHub建立了Sminantic，这是一种程序分析工具，能够从源代码中解析和提取详细信息。语义的发展广泛依赖于功能编程文献。本文介绍了与学术研究的联系如何启发和告知工业规模的计划分析工具包的发展。
GitHub hosts hundreds of millions of code repositories written in hundreds of different programming languages. In addition to its hosting services, GitHub provides data and insights into code, such as vulnerability analysis and code navigation, with which users can improve and understand their software development process. GitHub has built Semantic, a program analysis tool capable of parsing and extracting detailed information from source code. The development of Semantic has relied extensively on the functional programming literature; this paper describes how connections to academic research inspired and informed the development of an industrial-scale program analysis toolkit.
