thu-pacman / SpindleLinks
☆32Updated last year
Alternatives and similar repositories for Spindle
Users that are interested in Spindle are comparing it to the libraries listed below
Sorting:
- bogo for ASPLOS'19☆9Updated 6 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 5 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- ☆15Updated 6 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆139Updated 4 years ago
- llvm Data Flow Graph dump☆37Updated 4 years ago
- A CUDA compiler fuzzer☆25Updated last year
- SUPA☆28Updated 5 years ago
- ☆49Updated 3 years ago
- ☆38Updated 5 months ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 9 years ago
- ☆63Updated 5 years ago
- ☆25Updated 3 years ago
- Simple passes for CFG and DFG analysis☆43Updated 5 years ago
- A false sharing detection and repair tool☆14Updated 6 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆36Updated 11 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆22Updated 4 years ago
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 5 years ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆14Updated last year
- Dynamic Program Slicing in LLVM Compiler☆138Updated 6 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆36Updated 4 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- ☆38Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆28Updated 6 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 3 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆22Updated last year