Geof23 / Gklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆34Updated 3 years ago
Alternatives and similar repositories for Gklee:
Users that are interested in Gklee are comparing it to the libraries listed below
- ☆31Updated last year
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆138Updated 4 years ago
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago
- A CUDA compiler fuzzer☆24Updated last year
- CERE: Codelet Extractor and REplayer☆40Updated last year
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆27Updated 6 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Updated 8 months ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 5 months ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆91Updated 9 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆45Updated 5 years ago
- GPUVerify: a Verifier for GPU Kernels☆59Updated 2 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆34Updated last month
- ☆51Updated 5 years ago
- ☆28Updated 2 years ago
- GPUReplay, ASPLOS 2022☆33Updated 2 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆139Updated 2 weeks ago
- ☆63Updated 5 years ago
- A verified library of synchronization primitives and concurrent data structures☆26Updated this week
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆109Updated 2 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆24Updated 3 years ago
- User-space Page Management☆106Updated 6 months ago
- A translation validation framework for MLIR☆80Updated 3 months ago