IBM Platform-Independent Software Analysis
☆14Mar 12, 2018Updated 7 years ago
Alternatives and similar repositories for ibm-pisa
Users that are interested in ibm-pisa are comparing it to the libraries listed below
Sorting:
- Base repo of a workable zsim on newer version of Ubuntu, with PIN-2.14 binary (the original zSim no longer works)☆14Nov 20, 2022Updated 3 years ago
- A benchmark for C program verification☆17Feb 22, 2024Updated 2 years ago
- ☆16May 20, 2019Updated 6 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 8 years ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Feb 10, 2023Updated 3 years ago
- Instanciate the Cache Aware Roofline Model on single socket and multisocket systems.☆27Feb 22, 2019Updated 7 years ago
- A fast and scalable x86-64 multicore simulator☆31Mar 16, 2021Updated 4 years ago
- ☆13Jan 8, 2020Updated 6 years ago
- Automatic Binary Parallelisation☆43Feb 28, 2025Updated last year
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A basic -- but hopefully realistic -- pynvim rplugin example for demonstration / documentation purpose☆10Dec 10, 2022Updated 3 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- SIGPLAN website☆13Updated this week
- ☆14Updated this week
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago
- ☆11Mar 22, 2022Updated 3 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- Resources from my class on computer architecture design☆10Apr 25, 2018Updated 7 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- Program analysis tool based on software performance counters☆57May 13, 2021Updated 4 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 7 years ago
- rodinia benchmark modified to run with ENZO and pathcu instead of nvcc CUDA compiler☆12Jan 23, 2024Updated 2 years ago
- This repository integrates gem5 with Ramulator2, allowing gem5 to use Ramulator2 as its DRAM memory model. With the provided materials an…☆13Jun 7, 2025Updated 9 months ago
- ☆15May 6, 2021Updated 4 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 11 months ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago