Geof23 / GkleeLinks
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆38Updated 4 years ago
Alternatives and similar repositories for Gklee
Users that are interested in Gklee are comparing it to the libraries listed below
Sorting:
- ☆32Updated 2 years ago
- CUDAAdvisor: a GPU profiling tool☆49Updated 6 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- ☆52Updated 5 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 4 months ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆59Updated last year
- ☆63Updated 5 years ago
- A CUDA compiler fuzzer☆25Updated last year
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆30Updated 9 months ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆28Updated 6 years ago
- ☆30Updated 2 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆139Updated 4 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.☆19Updated 2 years ago
- GPUReplay, ASPLOS 2022☆36Updated 3 years ago
- ☆61Updated 6 years ago
- A false sharing detection and repair tool☆14Updated 6 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆111Updated 2 months ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- ☆9Updated 5 years ago
- The Splash-3 benchmark suite☆44Updated 2 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆46Updated last month
- Public-facing course info for program analysis materials.☆41Updated 6 months ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- ☆47Updated 3 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆22Updated 4 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆156Updated 2 years ago