emeryberger / COMPSCI-630
Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
☆21Updated last year
Alternatives and similar repositories for COMPSCI-630:
Users that are interested in COMPSCI-630 are comparing it to the libraries listed below
- measure entropy of memory allocators☆12Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- ☆19Updated 4 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- RWMutex for sharing of multicore machines.☆17Updated 5 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Diamond reactive programming platform☆25Updated 2 years ago
- ☆31Updated 3 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 6 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 5 years ago
- LLVM-jitted bitmaps☆26Updated 4 years ago
- Quick sort code using AVX2 instructions☆68Updated 7 years ago
- Makes building C++ projects easier with Buck.☆23Updated 3 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- Experimental operating system for deterministic parallel computing☆38Updated 9 years ago
- Wait-Free Eras (PPoPP '20)☆10Updated 5 years ago
- The rewrite of TLAPM, the TLAPS proof managerUpdated 5 years ago
- Library wrapper and system-level tracing utilities☆46Updated 8 years ago
- Rust bindings for SPDK☆19Updated 7 years ago
- Fuzzing compression libraries☆19Updated 9 years ago
- ☆15Updated 7 months ago
- A small DFA for under 16 states☆51Updated 6 years ago
- Ninja-based configuration system☆11Updated 4 years ago
- RLU resizable hash-table☆17Updated 9 years ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Updated 8 years ago
- ☆23Updated 2 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago