Geof23 / Gklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆35Updated 4 years ago
Alternatives and similar repositories for Gklee:
Users that are interested in Gklee are comparing it to the libraries listed below
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆28Updated 6 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- ☆28Updated 2 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 6 months ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆138Updated 4 years ago
- ☆31Updated last year
- ☆51Updated 5 years ago
- A CUDA compiler fuzzer☆25Updated last year
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated last month
- ☆34Updated 3 years ago
- The Splash-3 benchmark suite☆43Updated last year
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 5 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆110Updated 2 years ago
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆103Updated 2 years ago
- A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.☆49Updated last year
- Bridging polyhedral analysis tools to the MLIR framework☆109Updated last year
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆57Updated last year
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆19Updated 2 weeks ago
- ☆14Updated 5 years ago
- Verification of BPF JIT compilers☆54Updated last year
- Memory System Microbenchmarks☆62Updated 2 years ago
- A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.☆16Updated 2 years ago