UTSASRG / GuarderLinks
☆13Updated 7 years ago
Alternatives and similar repositories for Guarder
Users that are interested in Guarder 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
 - ☆16Updated 6 years ago
 - Wait-Free Eras (PPoPP '20)☆10Updated 5 years ago
 - Crellvm: Verified Credible Compilation for LLVM☆17Updated 7 years ago
 - ☆37Updated 7 years ago
 - ☆24Updated 10 months ago
 - A programming language to write bitsliced ciphers☆58Updated last year
 - Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
 - llvm opt fuzzer and bounded exhaustive test generator☆40Updated 3 years ago
 - reverse engineering branch predictors☆17Updated 9 years ago
 - Efficient Path Profiling using LLVM☆18Updated 8 years ago
 - Tasking 2.0☆16Updated 4 years ago
 - ☆13Updated 2 years ago
 - TP-PARSEC: A Task Parallel PARSEC Benchmark Suite☆11Updated 5 years ago
 - GNU Superoptimizer Version 2☆26Updated 4 years ago
 - Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
 - ☆18Updated 5 years ago
 - Quick sort code using AVX2 instructions☆69Updated 8 years ago
 - code for examining determinism of performance counters☆21Updated 4 years ago
 - A small DFA for under 16 states☆52Updated 7 years ago
 - A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
 - Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆56Updated 3 years ago
 - ☆30Updated 3 years ago
 - Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
 - dthreads: Efficient Deterministic Multithreading☆70Updated 10 years ago
 - ☆52Updated 3 years ago
 - An x86-64 instruction decoder.☆16Updated last year
 - "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
 - ☆40Updated 3 years ago
 - Reworking of Agner Fog's performance test programs for Linux☆114Updated 6 years ago