specs-feup / lara-framework
Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)
☆13Updated this week
Related projects ⓘ
Alternatives and complementary repositories for lara-framework
- Eclipse Trace Compass☆13Updated this 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…☆68Updated 2 years ago
- ☆16Updated 5 years ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆29Updated last year
- C/C++ Source-to-Source Tool based on Clang☆73Updated this week
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆14Updated 5 years ago
- A simulation platform for managed applications based on Maxine VM and ZSim☆9Updated 7 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆42Updated 5 years ago
- TornadoInsight: Unleashing the Power of TornadoVM in IntelliJ IDEA☆12Updated 2 months ago
- HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair (ASPLOS 2022)☆17Updated 2 months ago
- Intel LevelZero JNI library for TornadoVM☆12Updated 2 months ago
- Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)☆29Updated 6 months ago
- OpenJDK binding for MMTk☆31Updated 2 weeks ago
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- doppioDB - A hardware accelerated database☆48Updated 7 years ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆17Updated 4 years ago
- This is java implementation of Graspan.☆20Updated 11 months ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆90Updated 9 years ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 7 months ago
- ☆10Updated 4 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆50Updated 4 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆28Updated this week
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 10 years ago
- This is a C++ implementation of Graspan.☆32Updated 11 months ago
- A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …☆13Updated 5 years ago
- A collection of benchmarks and tests for the Patmos processor and compiler☆16Updated 2 years ago
- This package includes the implementation for four sparse linear algebra kernels: Sparse-Matrix-Vector-Multiplication (SpMV), Sparse-Trian…☆24Updated 4 years ago
- Data-Centric MLIR dialect☆38Updated last year