research
∙
05/25/2023
Type Prediction With Program Decomposition and Fill-in-the-Type Training
TypeScript and Python are two programming languages that support optiona...
share
research
∙
05/09/2023
StarCoder: may the source be with you!
The BigCode community, an open-scientific collaboration working on the r...
research
∙
02/23/2023
Do Machine Learning Models Produce TypeScript Types That Type Check?
Type migration is the process of adding types to untyped code to gain as...
research
∙
08/17/2022
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
Large language models have demonstrated the ability to generate both nat...
research
∙
10/28/2019
Precise Dataflow Analysis of Event-Driven Applications
Event-driven programming is widely used for implementing user interfaces...
research
∙
07/11/2019
R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
The R programming language combines a number of features considered hard...
research
∙
11/08/2017