amannougrahiya / imop-compiler
IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs.
☆22Updated 4 months ago
Alternatives and similar repositories for imop-compiler:
Users that are interested in imop-compiler are comparing it to the libraries listed below
- Collection of executable benchmarks☆43Updated last year
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries with options for generatin…☆39Updated last year
- ☆20Updated 3 months ago
- A tool to eliminate timing-based side channels☆49Updated 2 years ago
- Program instrumentation and cost function generation☆29Updated 6 months ago
- LLVM test suite benchmarks (260 benchmarks - 36 test suites)☆18Updated 3 years ago
- Ball Larus edge profiling with loop optimization☆28Updated 2 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆96Updated 5 years ago
- C/C++ Source-to-Source Tool based on Clang☆74Updated last week
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆23Updated last year
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆15Updated 5 months ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆116Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆57Updated last year
- CCG is a random C Code Generator☆43Updated 2 years ago
- A domain specific language to define access policies.☆14Updated 3 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 4 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.☆31Updated last year
- A tool to extract complexities and costs from programs and kernels☆17Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Public-facing course info for program analysis materials.☆39Updated 2 months ago
- Code examples used for the LAC LLVM course☆130Updated 3 months ago
- System to recognize infinite languages and react to string events☆26Updated last year
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆68Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- ☆51Updated last year
- Piecewise debloating toolchain☆14Updated 5 years ago