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:
- ☆34Updated 2 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆140Updated 4 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago
- Public-facing course info for program analysis materials.☆42Updated 3 weeks ago
- ☆9Updated 5 years ago
- A translation validation framework for MLIR☆88Updated 4 months ago
- A CUDA compiler fuzzer☆26Updated last year
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆156Updated 3 years ago
- A step-by-step tutorial for building an LLVM sample pass☆217Updated 5 years ago
- GPUReplay, ASPLOS 2022☆40Updated 3 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…☆104Updated 3 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆273Updated 3 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆28Updated 6 years ago
- CUDAAdvisor: a GPU profiling tool☆49Updated 6 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- NOELLE Offers Empowering LLVM Extensions☆78Updated last week
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆112Updated 3 months ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- LLVM Call Graph☆28Updated 4 years ago
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆74Updated 3 years ago
- ☆66Updated 5 years ago
- Automatic DNN generation for fuzzing and more☆136Updated 6 months ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 5 months ago
- Develop toolchain based on llvm to for Cpu0 processor☆48Updated this week
- A high performance LLVM-based dynamic binary instrumentation framework☆271Updated last year
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- OpenCL extension for csmith.☆24Updated 8 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆100Updated 2 months ago
- Collaborative Parallelization Framework (CPF)☆32Updated 2 years ago