james0zan / AILinks
Anticipating Invariant
☆12Updated 11 years ago
Alternatives and similar repositories for AI
Users that are interested in AI are comparing it to the libraries listed below
Sorting:
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆73Updated 2 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Updated 8 years ago
- Cheap: customized heaps for improved application performance.☆28Updated 3 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- SKI virtual machine for testing concurrency bugs☆13Updated 10 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Updated 10 years ago
- ☆66Updated 6 years ago
- Code Analysis and Refactoring with Clang Tools☆129Updated 5 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 5 years ago
- FlipIt: An LLVM Based Fault Injector for HPC☆15Updated 4 years ago
- VeriBetrKV OSDI'20 artifact☆13Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆225Updated 2 years ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆106Updated last year
- An unofficial mirror of the core PARSEC 3.0 benchmark suite with patches to run on x86_64 Arch Linux and generalize builds.☆130Updated 3 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆187Updated 3 years ago
- ☆13Updated 5 years ago
- ☆34Updated 2 years ago
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆37Updated 9 years ago
- Mallacc: Accelerating Memory Allocation☆13Updated 8 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆49Updated 10 years ago
- libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …☆55Updated 4 years ago
- Benchmarks for locking algorithms as well as implementations of locking algorithms.☆27Updated 7 years ago
- Recoverable lock-free allocator based on LRMalloc☆48Updated 5 years ago
- Wrapper library for model-specific registers. APIs cover RAPL, performance counters, clocks and turbo.☆52Updated 2 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆61Updated 12 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆277Updated 3 years ago
- DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X☆420Updated last month
- Runtime type and bounds-error checking for C/C++☆106Updated last year
- Very low-overhead timer/counter interfaces for C on Intel 64 processors.☆140Updated 3 months ago
- OpenCL extension for csmith.☆27Updated 2 months ago