Fusing Industry and Academia at GitHub (Experience Report)

06/18/2022
by   Patrick Thomson, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/15/2021

Choose Your Programming Copilot: A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming

GitHub Copilot, an extension for the Visual Studio Code development envi...
research
10/27/2019

TreeCaps: Tree-Structured Capsule Networks for Program Source Code Processing

Program comprehension is a fundamental task in software development and ...
research
10/15/2019

From Academia to Software Development: Publication Citations in Source Code Comments

Academic publications have been evaluated with the impact on research co...
research
11/02/2022

Stack graphs: Name resolution at scale

We present stack graphs, an extension of Visser et al.'s scope graphs fr...
research
12/06/2018

Data Sharing, Distribution and Updating Using Social Coding Community Github and LaTaX Packages in Graduate Research

Current paper reports the advantages of the application of GitHub and La...
research
11/14/2017

A Comparative Case Study on the Impact of Test-Driven Development on Program Design and Test Coverage

Test-driven development (TDD) is a programming technique in which the te...
research
11/02/2022

A logical framework to model software development by multiple agents following a common specification

In this paper, we address program development by multiple different prog...

Please sign up or login with your details

Forgot password? Click here to reset