emeryberger / COMPSCI-630Links
Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
☆22Updated 2 years ago
Alternatives and similar repositories for COMPSCI-630
Users that are interested in COMPSCI-630 are comparing it to the libraries listed below
Sorting:
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- Wait-Free Eras (PPoPP '20)☆10Updated 5 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- ☆19Updated 5 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 7 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- ☆23Updated 2 years ago
- INACTIVE - A C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/☆79Updated 4 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- Notary: A Device for Secure Transaction Approval 📟☆28Updated 7 months ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- ☆26Updated 3 years ago
- A compiler for secure multiparty computation☆50Updated 9 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- Starter template for networking-related programs☆20Updated 6 years ago
- Makes building C++ projects easier with Buck.☆23Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- A small DFA for under 16 states☆51Updated 7 years ago
- a small C++ lattice library☆15Updated 5 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆37Updated 6 years ago
- A DSL for Software-Defined Satellite Applications☆24Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Lock-free multithreaded memory allocation☆108Updated 8 years ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆66Updated 6 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- A lighweight and parallel snapshot testing framework in rust☆33Updated 2 years ago
- LLVM-jitted bitmaps☆27Updated 5 years ago