Arjun Guha | DeepAI

AI Chat

Featured Co-authors

Jia Li
149 publications
Wenhao Yu
66 publications
Siva Reddy
45 publications
Joydeep Biswas
41 publications
Qian Liu
38 publications
Dzmitry Bahdanau
35 publications
Yacine Jernite
32 publications
Daniel Fried
29 publications
Tri Dao
25 publications
Thomas Wolf
24 publications
Jian Zhu
23 publications

∙ 08/24/2023

npm-follower: A Complete Dataset Tracking the NPM Ecosystem

Software developers typically rely upon a large network of dependencies ...

0 Donald Pinckney, et al. ∙

∙ 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 ...

0 Federico Cassano, et al. ∙

∙ 08/16/2023

Continuing WebAssembly with Effect Handlers

WebAssembly (Wasm) is a low-level portable code format offering near nat...

0 Luna Phipps-Costin, et al. ∙

∙ 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...

0 Hannah McLean Babe, et al. ∙

∙ 05/25/2023

Type Prediction With Program Decomposition and Fill-in-the-Type Training

TypeScript and Python are two programming languages that support optiona...

0 Federico Cassano, et al. ∙

∙ 05/09/2023

StarCoder: may the source be with you!

The BigCode community, an open-scientific collaboration working on the r...

12 Raymond Li, et al. ∙

∙ 04/01/2023

A Large Scale Analysis of Semantic Versioning in NPM

The NPM package repository contains over two million packages and serves...

0 Donald Pinckney, et al. ∙

∙ 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...

0 Ming-Ho Yee, et al. ∙

∙ 01/09/2023

SantaCoder: don't reach for the stars!

The BigCode project is an open-scientific collaboration working on the r...

1 Loubna Ben Allal, et al. ∙

∙ 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...

6 Federico Cassano, et al. ∙

∙ 03/25/2022

Using Solver-Aided Languages to Build Package Managers

Open-source software is critical for modern development, but most open-s...

0 Donald Pinckney, et al. ∙

∙ 09/10/2021

Solver-based Gradual Type Migration

Gradually typed languages allow programmers to mix statically and dynami...

0 Luna Phipps-Costin, et al. ∙

∙ 03/08/2021

Iterative Program Synthesis for Adaptable Social Navigation

Robot social navigation is influenced by human preferences and environme...

0 Jarrett Holtz, et al. ∙

∙ 10/05/2020

Wasm/k: Delimited Continuations for WebAssembly

WebAssembly is designed to be an alternative to JavaScript that is a saf...

0 Donald Pinckney, et al. ∙

∙ 09/14/2020

NextDoor: GPU-Based Graph Sampling for Graph Machine Learning

Representation learning is a fundamental task in machine learning. It co...

0 Abhinav Jangda, et al. ∙

∙ 08/10/2020

Robot Action Selection Learning via Layered Dimension Informed Program Synthesis

Action selection policies (ASPs), used to compose low-level robot skills...

0 Jarrett Holtz, et al. ∙

∙ 01/09/2020

SMT-based Robot Transition Repair

State machines are a common model for robot behaviors. Transition functi...

0 Jarrett Holtz, et al. ∙

∙ 11/06/2019

A Language-based Serverless Function Accelerator

Serverless computing is an approach to cloud computing that allows progr...

0 Emily Herbert, et al. ∙

∙ 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...

0 Abhinav Jangda, et al. ∙

∙ 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...

0 Joseph Spitzer, et al. ∙

∙ 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 ...

0 Jenna Claire Hammond, et al. ∙

∙ 02/15/2019

Formal Foundations of Serverless Computing

A robust, large-scale web service can be difficult to engineer. When dem...

0 Abhinav Jangda, et al. ∙

∙ 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...

0 Abhinav Jangda, et al. ∙

∙ 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...

0 Abhinav Jangda, et al. ∙

∙ 02/08/2018

Putting in All the Stops: Execution Control for JavaScript

Scores of compilers produce JavaScript, enabling programmers to use many...

0 Samuel Baxter, et al. ∙

∙ 02/05/2018

Interactive Robot Transition Repair With SMT

Complex robot behaviors are often structured as state machines, where st...

0 Jarrett Holtz, et al. ∙

∙ 09/15/2017

Tortoise: Interactive System Configuration Repair

System configuration languages provide powerful abstractions that simpli...

0 Aaron Weiss, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world