Pinned Repositories
BLeak
BLeak: Automatically Debugging Memory Leaks in Web Applications
browsix
Browsix is a Unix-like operating system for the browser.
ChatDBG
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
coz
Coz: Causal Profiling
cwhy
"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
doppio
Breaks the browser language barrier (includes a plugin-free JVM).
Mesh
A memory allocator that automatically reduces the memory footprint of C/C++ applications.
scalene
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
slipcover
Near Zero-Overhead Python Code Coverage
sqlwrite
SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
PLASMA @ UMass's Repositories
plasma-umass/DataDebug
Excel 2010/2013 add-in that automatically finds errors in spreadsheets
plasma-umass/systemgo
Init system in Go, intended to run on Browsix and other Unix-like OS. Part of GSoC 2016 project.
plasma-umass/DoubleTake
Evidence-based dynamic analysis: a fast checker for memory errors.
plasma-umass/Predator
Predator: Predictive False Sharing Detection
plasma-umass/Ninia
Python interpreter in JavaScript
plasma-umass/dthreads
dthreads: Efficient Deterministic Multithreading
plasma-umass/stabilizer
Stabilizer: Rigorous Performance Evaluation
plasma-umass/Archipelago
Archipelago memory allocator
plasma-umass/Tortoise
Tortoise: Interactive System Configuration Repair
plasma-umass/transparentFS
TransparentFS code, paper, and slides
plasma-umass/GSoC
Description of our Google Summer of Code projects for 2015
plasma-umass/doppio-demo
Demo of the Doppio Runtime System.
plasma-umass/doppio_jcl
Scripts that produce a version of the Java Class Library and Java Home in a way that is compatible with DoppioJVM.
plasma-umass/SurveyMan
SurveyMan programming language.
plasma-umass/transparentMM
Transparent memory management
plasma-umass/typissed
Generates MTurk typo jobs
plasma-umass/affectrics
Program metric correlates of human affect
plasma-umass/automan-debugger
Repository for AutoMan IntelliJ Debugger (AID). AID is a plugin for IntelliJ IDEA, written in Scala mostly. It is designed to make developing AutoMan tasks easier.
plasma-umass/COMPSCI590S
Systems for Data Science repo
plasma-umass/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
plasma-umass/ExceLint-1
Spatio-structural analysis plugin for Microsoft Excel
plasma-umass/pangloss
Experimental naive Bayes classifier to identify programming languages
plasma-umass/PLASMA-graphics
Logos, etc. for PLASMA
plasma-umass/plasma-seminar
plasma seminar repo
plasma-umass/programslice
Static analysis tool to slice python programs
plasma-umass/Reconsidering2-1
Repo for notes and stuff related to Reconsidering Custom Allocation 2
plasma-umass/redline
Redline OS (OSDI 2008)
plasma-umass/systems-for-ds
Systems for data science class
plasma-umass/TongpingThesis
plasma-umass/TurkCellTask
Client-side logic for presenting a CheckCell error-ranking question on Mechanical Turk through JavaScript.