specs-feup / lara-framework
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
- C/C++ Source-to-Source Tool based on Clang☆74Updated this week
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- ☆31Updated last year
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆35Updated 4 months ago
- ☆37Updated 3 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…☆71Updated 2 years ago
- A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.☆48Updated last year
- Memory consistency model checking and test generation library.☆15Updated 8 years ago
- SST Architectural Simulation Components and Libraries☆93Updated this week
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago
- Graspan-G is a GPU-based version of Graspan.☆9Updated 3 years ago
- The University of Bristol HPC Simulation Engine☆95Updated this week
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆17Updated 4 years ago
- ☆16Updated 5 years ago
- Stable, non-KVM version of PTLsim.☆28Updated 9 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆52Updated 4 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated 4 months ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Updated last week
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 5 months ago
- ☆40Updated this week
- Automatic virtualization of (general) accelerators.☆42Updated 2 years ago
- Data-Centric MLIR dialect☆40Updated last year
- Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms☆14Updated 3 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 9 years ago
- A fast and scalable x86-64 multicore simulator☆31Updated 3 years ago
- Eclipse Trace Compass☆17Updated this week
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 5 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 6 years ago