research
∙
08/24/2023
npm-follower: A Complete Dataset Tracking the NPM Ecosystem
Software developers typically rely upon a large network of dependencies ...
share
research
∙
08/19/2023
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Over the past few years, Large Language Models of Code (Code LLMs) have ...
research
∙
08/16/2023
Continuing WebAssembly with Effect Handlers
WebAssembly (Wasm) is a low-level portable code format offering near nat...
research
∙
06/07/2023
StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code
Code LLMs are being rapidly deployed and there is evidence that they can...
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...
research
∙
05/09/2023
StarCoder: may the source be with you!
The BigCode community, an open-scientific collaboration working on the r...
research
∙
04/01/2023
A Large Scale Analysis of Semantic Versioning in NPM
The NPM package repository contains over two million packages and serves...
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
∙
01/09/2023
SantaCoder: don't reach for the stars!
The BigCode project is an open-scientific collaboration working on the r...
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
∙
03/25/2022
Using Solver-Aided Languages to Build Package Managers
Open-source software is critical for modern development, but most open-s...
research
∙
09/10/2021
Solver-based Gradual Type Migration
Gradually typed languages allow programmers to mix statically and dynami...
research
∙
03/08/2021
Iterative Program Synthesis for Adaptable Social Navigation
Robot social navigation is influenced by human preferences and environme...
research
∙
10/05/2020
Wasm/k: Delimited Continuations for WebAssembly
WebAssembly is designed to be an alternative to JavaScript that is a saf...
research
∙
09/14/2020
NextDoor: GPU-Based Graph Sampling for Graph Machine Learning
Representation learning is a fundamental task in machine learning. It co...
research
∙
08/10/2020
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis
Action selection policies (ASPs), used to compose low-level robot skills...
research
∙
01/09/2020
SMT-based Robot Transition Repair
State machines are a common model for robot behaviors. Transition functi...
research
∙
11/06/2019
A Language-based Serverless Function Accelerator
Serverless computing is an approach to cloud computing that allows progr...
research
∙
09/16/2019
Model-Based Warp-Level Tiling for Image Processing Programs on GPUs
The efficient execution of image processing pipelines on GPUs is an area...
research
∙
09/06/2019
Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing
Robots are a popular platform for introducing computing and artificial i...
research
∙
09/06/2019
Automatic Failure Recovery for End-User Programs on Service Mobile Robots
For service mobile robots to be most effective, it must be possible for ...
research
∙
02/15/2019
Formal Foundations of Serverless Computing
A robust, large-scale web service can be difficult to engineer. When dem...
research
∙
01/25/2019
Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code
All major web browsers now support WebAssembly, a low-level bytecode int...
research
∙
01/25/2019
Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code
All major web browsers now support WebAssembly, a low-level bytecode int...
research
∙
02/08/2018
Putting in All the Stops: Execution Control for JavaScript
Scores of compilers produce JavaScript, enabling programmers to use many...
research
∙
02/05/2018
Interactive Robot Transition Repair With SMT
Complex robot behaviors are often structured as state machines, where st...
research
∙
09/15/2017