Northeastern University Programming Research Lab's repositories
PromiseKeeper
Finding Broken Promises in Asynchronous JavaScript Programs
TypeWeaver
Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check?
ElementaryJS
JavaScript without the sharp edges
nuprl.github.io-archive
Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
retic_performance
Performance evaluation of Reticulated Python
prl-seminar-junior
PRLSeminar, Junior: information, materials, schedule
gfd-oopsla-2019
Paper, proofs, and code for "Complete Monitors for Gradual Types"
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