We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Fusing Industry and Academia at GitHub (Experience Report)

Abstract: 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.
Comments: 14 pages, 2 figures, submitted to ICFP 2022
Subjects: Software Engineering (cs.SE)
ACM classes: D.2.m
Cite as: arXiv:2206.09206 [cs.SE]
  (or arXiv:2206.09206v1 [cs.SE] for this version)

Submission history

From: Rob Rix [view email]
[v1] Sat, 18 Jun 2022 13:46:39 GMT (185kb,D)

Link back to: arXiv, form interface, contact.