thu-pacman / SpindleLinks
☆34Updated 2 years ago
Alternatives and similar repositories for Spindle
Users that are interested in Spindle are comparing it to the libraries listed below
Sorting:
- DMon Prototype for OSDI 2021 Artifact Evaluation☆24Updated 4 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆40Updated 4 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 8 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 5 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆276Updated 3 years ago
- ☆51Updated 4 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 5 years ago
- Simple passes for CFG and DFG analysis☆44Updated 6 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Updated 3 years ago
- llvm Data Flow Graph dump☆36Updated 4 years ago
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆77Updated 3 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆36Updated 12 years ago
- Automatic DNN generation for fuzzing and more☆141Updated 11 months ago
- ☆15Updated 6 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆61Updated last year
- A false sharing detection and repair tool☆14Updated 6 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆29Updated 6 years ago
- ☆26Updated 4 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆55Updated 4 years ago
- An unofficial mirror of the core PARSEC 3.0 benchmark suite with patches to run on x86_64 Arch Linux and generalize builds.☆126Updated 3 years ago
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆60Updated 9 months ago
- Efficient Path Profiling using LLVM☆18Updated 8 years ago
- Hodor-PKU☆26Updated 4 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具:function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 6 years ago
- Interprocedural Basic Block Code Layout Optimization☆18Updated 6 years ago