rpgzysb / OptimizingCompiler
CMU 15745 with Xian Zhang
☆7Updated 7 years ago
Alternatives and similar repositories for OptimizingCompiler:
Users that are interested in OptimizingCompiler are comparing it to the libraries listed below
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆45Updated last year
- LLVM pass☆22Updated 4 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 4 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆52Updated 2 months ago
- A data dependence analyzer for C program☆20Updated 3 years ago
- 简化版本llvm的stackprotector策略,将其包装成一个pass,对程序的stack进行保护☆14Updated 7 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- ☆14Updated 8 months ago
- llvm-cookbook samples☆79Updated 7 years ago
- A library for analyzing LLVM bitcode in Haskell☆43Updated 10 years ago
- ☆25Updated 3 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆91Updated 9 years ago
- This is java implementation of Graspan.☆20Updated last year
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Updated 10 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- ☆46Updated 2 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- A graph coloring register allocator for LLVM.☆12Updated 8 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- llvm control flow graph☆26Updated 5 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆31Updated this week
- A fuzzer for SMT solvers☆19Updated last month
- Pointer Analysis with Tunable Precision☆26Updated 8 years ago