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/Ninia
Python interpreter in JavaScript
plasma-umass/Predator
Predator: Predictive False Sharing Detection
plasma-umass/dthreads
dthreads: Efficient Deterministic Multithreading
plasma-umass/stabilizer
Stabilizer: Rigorous Performance Evaluation
plasma-umass/Archipelago
Archipelago memory allocator
plasma-umass/simplesocket
A simple socket wrapper for C++.
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/HeapToss
HeapToss is an LLVM compiler pass that moves stack variables that may escape their declaring function's context into the heap.
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/GSoC-2013
Google Summer of Code 2013
plasma-umass/jsvm
plasma-umass/SurveyMan
SurveyMan programming language.
plasma-umass/Heap-Layers
Heap Layers: An Extensible Memory Allocation Infrastructure
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/PLASMA-graphics
Logos, etc. for PLASMA
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/TongpingThesis
plasma-umass/TurkCellTask
Client-side logic for presenting a CheckCell error-ranking question on Mechanical Turk through JavaScript.