specs-feup / lara-frameworkLinks
Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)
☆13Updated this week
Alternatives and similar repositories for lara-framework
Users that are interested in lara-framework are comparing it to the libraries listed below
Sorting:
- ☆32Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆139Updated 4 years ago
- Code examples used for the LAC LLVM course☆129Updated 6 months ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆59Updated last year
- ☆15Updated 6 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 5 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- A verification tool for many memory models☆94Updated 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…☆103Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- Simple passes for CFG and DFG analysis☆43Updated 5 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.☆53Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- C/C++ Source-to-Source Tool based on Clang☆79Updated this week
- Creating beautiful gem5 simulations☆49Updated 4 years ago
- LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt☆185Updated 2 years ago
- bogo for ASPLOS'19☆9Updated 6 years ago
- Interprocedural Basic Block Code Layout Optimization☆18Updated 6 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆46Updated last week
- 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…☆72Updated 2 years ago
- Memory consistency model checking and test generation library.☆15Updated 8 years ago
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆37Updated 8 months ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆20Updated 2 years ago
- Stable, non-KVM version of PTLsim.☆29Updated 9 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆52Updated 2 months ago
- 第一届 RISC-V 中国峰会的幻灯片等资料存放☆37Updated 2 years ago