pku-minic / next-gen-ir-proposal
Proposal for the next generation of course-oriented IR.
☆10Updated 3 years ago
Alternatives and similar repositories for next-gen-ir-proposal:
Users that are interested in next-gen-ir-proposal are comparing it to the libraries listed below
- 使用哈希页表实现虚拟机的stage-2页表☆7Updated 2 years ago
- Open test cases of PKU compiler course.☆23Updated 3 years ago
- Course website for Operating System course in Peking University.☆13Updated 3 years ago
- ☆74Updated 2 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- Linux kernel labs☆56Updated 3 years ago
- website for systems seminar at UIUC☆17Updated last month
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 3 years ago
- General system research material (not limited to paper) reading notes.☆21Updated 3 years ago
- Utilities for paper writing.☆11Updated 4 months ago
- Some CS notes during Jiawei's undergrad.☆31Updated 3 years ago
- Library for generating/parsing/optimizing Koopa IR.☆107Updated last month
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆20Updated 2 years ago
- 基于eBPF实现高性能用户态文件系统功能☆13Updated 9 months ago
- The MiniDecaf test cases.☆17Updated last year
- A summarize of my projects.☆47Updated 7 months ago
- Rebuild YatSenOS On RISC-V 64.☆19Updated 3 years ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆33Updated 2 months ago
- ☆51Updated 8 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆30Updated 4 months ago
- OS Tutorial Summer of Code 2020☆19Updated 2 years ago
- Random collections of my interested research papers / projects☆20Updated 3 years ago
- A reading group for system verification papers☆10Updated last year
- Tsinghua Advanced Networking Labs on FPGA☆37Updated 2 months ago
- PKU LaTeX☆48Updated this week
- ☆69Updated last year
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- ☆11Updated 3 years ago
- 新燕园人的私人班车助手(非官方)。☆51Updated last week
- Artifact evaluation repo for EuroSys'24.☆25Updated last year