Geof23 / Gklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆33Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Gklee
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆136Updated 3 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆26Updated 5 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 9 years ago
- CERE: Codelet Extractor and REplayer☆41Updated last year
- ☆31Updated last year
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆59Updated 9 months ago
- NOELLE Offers Empowering LLVM Extensions☆77Updated this week
- 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…☆100Updated 2 years ago
- ☆62Updated 5 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆23Updated 2 years ago
- ☆50Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆31Updated 3 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆27Updated 2 months ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆27Updated 2 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆51Updated 2 years ago
- ☆15Updated 5 years ago
- Visualization of LLVM IR☆60Updated 10 years ago
- ☆27Updated last year
- Develop toolchain based on llvm to for Cpu0 processor☆46Updated 10 months ago
- GPUVerify: a Verifier for GPU Kernels☆58Updated 2 years ago
- Conversions to MLIR EmitC☆124Updated 3 months ago
- Public-facing course info for program analysis materials.☆37Updated this week
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆102Updated last year
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated last year