james0zan / AI
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
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 8 years ago
- ☆38Updated 3 years ago
- A graph coloring register allocator for LLVM.☆12Updated 8 years ago
- Benchmarks for locking algorithms as well as implementations of locking algorithms.☆24Updated 7 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
- ☆21Updated 7 years ago
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆77Updated 3 years ago
- An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/…☆67Updated 2 weeks ago
- SKI virtual machine for testing concurrency bugs☆12Updated 9 years ago
- A C library to support applications that map Non-Volatile Memory into their address space for load/store access.☆56Updated 6 years ago
- ☆32Updated last year
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆42Updated 3 years ago
- ☆27Updated 5 years ago
- CCProf: Lightweight Detection of Cache Conflicts☆26Updated 4 years ago
- MapReduce for multi-core☆49Updated 11 years ago
- ☆27Updated 7 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 9 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆60Updated 11 years ago
- In memory TPC-C implementation. Used for a number of database research projects.☆38Updated 4 years ago
- This is the open-source site for XFDetector (ASPLOS'20)☆11Updated 4 years ago
- This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…☆59Updated 6 months ago
- SPLASH2 Benchmark☆28Updated 11 years ago
- ☆30Updated 3 years ago
- Predator: Predictive False Sharing Detection☆21Updated 11 years ago
- Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)☆8Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆148Updated 3 weeks ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆33Updated 5 years ago
- ☆47Updated 10 years ago
- A false sharing detection and repair tool☆14Updated 5 years ago