Northeastern University Programming Research Lab

10PL

10 papers that all PhD students in programming languages ought to know, for some value of 10

Stopify

A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.

MultiPL-E

A multi-programming language benchmark for evaluating the performance of large language model of code.

PromiseKeeper

Finding Broken Promises in Asynchronous JavaScript Programs

augur

Performant taint analysis for Node.js

CanItEdit

Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions

Ocelot

An IDE for JavaScript, without the "bad parts".

website

Source for PRL website

gradual-typing-performance

ElementaryJS

JavaScript without the sharp edges

TypeWeaver

Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check?

gtp

NSF grant website

nuprl.github.io-archive

Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to

tag-sound

Source for "A Spectrum of Type Soundness and Performance", ICFP 2018

jankscripten

prl-seminar-junior

PRLSeminar, Junior: information, materials, schedule

retic_performance

Performance evaluation of Reticulated Python

TypeWhich

Customizable, solver-based type migration for the gradually-typed lambda calculus.

formalizations-in-agda

fsp-benchmarks

gfd-oopsla-2019

Paper, proofs, and code for "Complete Monitors for Gradual Types"

softscheme-web

wimpl

220.ocelot-ide.org

GitHub Pages target for Ocelot with the legacy backend. This hosts COMPSCI220 accounts from Fall 2018 to Fall 2020.

code.ocelot-ide.org

GitHub Pages target for Ocelot with the current backend. This will host accounts from Spring 2021 onwards.

dissertation

PhD dissertation, Khoury College, Northeastern University, 2020

donald-paper-template

openai-caching-proxy

StenoType

Type migration with large language models for code. Migrates JavaScript to TypeScript by predicting type annotations and generating type definitions.

video-lang