specs-feup / lara-frameworkLinks
Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)
☆16Updated 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:
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 5 years ago
- ☆34Updated 2 years ago
- LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt☆191Updated 3 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Updated 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…☆105Updated 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…☆78Updated 3 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆277Updated 3 years ago
- Code examples used for the LAC LLVM course☆134Updated last year
- A verification tool for many memory models☆110Updated this week
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.☆58Updated 2 years ago
- ☆229Updated this week
- NOELLE Offers Empowering LLVM Extensions☆83Updated 6 months ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 6 years ago
- Ocolos is the first open-sourced online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated 3 weeks ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated last year
- Tutorial for LLVM Dev Conference 2019.☆15Updated 6 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆62Updated last year
- A translation validation framework for MLIR☆92Updated 10 months ago
- PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆130Updated 9 years ago
- The MiBench testsuite, extended for use in general embedded environments☆112Updated 13 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆71Updated 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…☆40Updated last year
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆148Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆61Updated 5 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 11 months ago
- Simple passes for CFG and DFG analysis☆44Updated 6 years ago
- CUDAAdvisor: a GPU profiling tool☆51Updated 7 years ago