Geof23 / GkleeLinks
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆40Updated 4 years ago
Alternatives and similar repositories for Gklee
Users that are interested in Gklee are comparing it to the libraries listed below
Sorting:
- ☆34Updated 2 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 5 years ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated last year
- ☆66Updated 6 years ago
- A CUDA compiler fuzzer☆30Updated 2 years ago
- A translation validation framework for MLIR☆92Updated 10 months ago
- rmem public repo☆49Updated 8 months ago
- NOELLE Offers Empowering LLVM Extensions☆83Updated 6 months ago
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- Public-facing course info for program analysis materials.☆43Updated 2 months ago
- ☆46Updated 3 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 11 months ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 6 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆277Updated 3 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆62Updated last year
- Interprocedural Basic Block Code Layout Optimization☆18Updated 7 years ago
- Collaborative Parallelization Framework (CPF)☆33Updated 2 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- CUDAAdvisor: a GPU profiling tool☆51Updated 7 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆71Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆74Updated 3 years ago
- OpenCL extension for csmith.☆27Updated 2 months ago
- CERE: Codelet Extractor and REplayer☆40Updated 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…☆105Updated 3 years ago
- Automated DNN generation for fuzz testing and more☆143Updated last year
- A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.☆58Updated 2 years ago
- The Splash-3 benchmark suite☆45Updated 2 years ago
- ☆42Updated 4 years ago