Affiliation:
1. GitHub, USA
2. GitHub, Canada
3. Imperial College London, UK
4. KU Leuven, Belgium
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Reference31 articles.
1. Compositional data types
2. Finally Tagless, Partially Evaluated
3. Douglas Creager. 2021. Introducing stack graphs | The GitHub Blog. https://github.blog/2021-12-09-introducing-stack-graphs/ Douglas Creager. 2021. Introducing stack graphs | The GitHub Blog. https://github.blog/2021-12-09-introducing-stack-graphs/
4. Abstracting definitional interpreters (functional pearl)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Making a Curry Interpreter using Effects and Handlers;Proceedings of the 17th ACM SIGPLAN International Haskell Symposium;2024-08-28
2. A framework for higher-order effects & handlers;Science of Computer Programming;2024-05
3. Scoped Effects as Parameterized Algebraic Theories;Lecture Notes in Computer Science;2024