Computational Systems Group

Pinned Loading

1. scalloc scalloc Public

   A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator

   C++ 163 9

2. scal scal Public

   High-performance multicore-scalable data structures and benchmarks

   C++ 143 31

3. ACDC ACDC Public

   A multi-threaded mutator for profiling and benchmarking heap management systems

   C 7 2

4. cpcc cpcc Public

   Cyber Physical Cloud Computing

   Java 1 2

5. compact-fit compact-fit Public

   Compact-Fit

   C 7 2

6. unicorn unicorn Public

   Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

   Rust 42 9