plasma-umass/doppio-demo
Demo of the Doppio Runtime System.
Developer Profile
plasma-umass
Discovered public repositories for plasma-umass in the GitHub catalog.
plasma-umass/TurkCellTask
Client-side logic for presenting a CheckCell error-ranking question on Mechanical Turk through JavaScript.
plasma-umass/GSoC
Description of our Google Summer of Code projects for 2015
plasma-umass/TongpingThesis
Public repository.
plasma-umass/coz
Coz: Causal Profiling
plasma-umass/parcel
An Excel formula parser
plasma-umass/typissed
Generates MTurk typo jobs
plasma-umass/Predator
Predator: Predictive False Sharing Detection
plasma-umass/jsvm
Public repository.
plasma-umass/GSoC-2013
Google Summer of Code 2013
plasma-umass/simplesocket
A simple socket wrapper for C++.
plasma-umass/DoubleTake
Evidence-based dynamic analysis: a fast checker for memory errors.
plasma-umass/presentations
presentations
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/proto
probabilistic race tolerance
plasma-umass/sheriff
Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can link with your code to eliminate false sharing.
plasma-umass/stabilizer
Stabilizer: Rigorous Performance Evaluation
plasma-umass/DataDebug
Excel 2010/2013 add-in that automatically finds errors in spreadsheets
plasma-umass/Heap-Layers
Heap Layers: An Extensible Memory Allocation Infrastructure
plasma-umass/dthreads
dthreads: Efficient Deterministic Multithreading
plasma-umass/DieHard
DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X
plasma-umass/Hoard
The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, Mac, and Solaris.
plasma-umass/doppio
Breaks the browser language barrier (includes a plugin-free JVM).