wzh99 / IRLLinks
Simple intermediate representation language for learning and research.
☆20Updated 5 years ago
Alternatives and similar repositories for IRL
Users that are interested in IRL are comparing it to the libraries listed below
Sorting:
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- UB-aware interpreter for LLVM debugging☆29Updated last week
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆57Updated 4 months ago
- ☆19Updated 6 months ago
- ☆15Updated 3 months ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago
- Heterogeneous Containerization of Large Language Model Apps☆45Updated 3 weeks ago
- A virtio layer for xv6☆11Updated 6 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 5 months ago
- A translation validation framework for MLIR☆87Updated 3 months ago
- ☆30Updated 2 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19Updated last year
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated 9 months ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Updated 2 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆41Updated 2 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Updated 9 months ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆14Updated 2 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 9 months ago
- [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems☆14Updated 11 months ago
- ☆15Updated 2 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆22Updated 4 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆9Updated 2 months ago
- Proof-of-concept implementation for the paper "ThermalScope: A Practical Interrupt Side Channel Attack Based On Thermal Event Interrupts"…☆12Updated 6 months ago
- Embedded Universal DSL: a good DSL for us, by us☆38Updated this week
- Interprocedural Basic Block Code Layout Optimization☆18Updated 6 years ago