wzh99 / IRL
Simple intermediate representation language for learning and research.
☆19Updated 4 years ago
Alternatives and similar repositories for IRL:
Users that are interested in IRL are comparing it to the libraries listed below
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆52Updated 2 weeks ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Gem5 implementation of Pinned Loads: Taming Speculative Loads in Secure Processors☆9Updated 2 years ago
- ☆14Updated last year
- ☆22Updated last year
- ☆28Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19Updated 9 months ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 5 months ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Updated 8 months ago
- A translation validation framework for MLIR☆80Updated 3 months ago
- A repo to store the compiler project☆74Updated 2 years ago
- ☆14Updated last year
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆37Updated last year
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆13Updated 2 months ago
- Develop toolchain based on llvm to for Cpu0 processor☆45Updated last year
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆10Updated this week
- ☆18Updated 2 years ago
- A collection of command-line tools based on Dyninst☆17Updated 3 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆20Updated 2 years ago
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆19Updated last year
- A memory profiler for NVIDIA GPUs to explore memory inefficiencies in GPU-accelerated applications.☆25Updated 4 months ago
- CleanupSpec (MICRO-2019)☆17Updated 4 years ago
- ☆46Updated 2 years ago