pku-minic / next-gen-ir-proposal
Proposal for the next generation of course-oriented IR.
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for next-gen-ir-proposal
- Open test cases of PKU compiler course.☆22Updated 2 years ago
- ☆75Updated 2 years ago
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 2 years ago
- website for systems seminar at UIUC☆17Updated this week
- 基于eBPF实现高性能用户态文件系统功能☆11Updated 8 months ago
- Course website for Operating System course in Peking University.☆13Updated 2 years ago
- Take your first step in writing a compiler.☆29Updated 3 years ago
- Utilities for paper writing.☆11Updated 2 months ago
- A summarize of my projects.☆46Updated 5 months ago
- Random collections of my interested research papers / projects☆20Updated 3 years ago
- General system research material (not limited to paper) reading notes.☆20Updated 3 years ago
- Code for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]☆16Updated this week
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆19Updated 2 years ago
- ☆51Updated 6 months ago
- 🔪Mx-Star Compiler Project☆14Updated 4 years ago
- ☆22Updated 8 months ago
- 兆京大学班车预约 for Humans™☆27Updated last month
- 使用哈希页表实现虚拟机的stage-2页表☆7Updated 2 years ago
- A reading group for system verification papers☆10Updated last year
- Rebuild YatSenOS On RISC-V 64.☆19Updated 2 years ago
- ☆20Updated last year
- Project template for Artix-7 based Thinpad board☆45Updated last year
- Library for generating/parsing/optimizing Koopa IR.☆101Updated 8 months ago
- Project Mitosis Introduction☆18Updated 2 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆22Updated 2 months ago
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆17Updated 2 years ago
- PKU LaTeX☆36Updated last week
- Vector search with bounded performance.☆33Updated 9 months ago
- Linux kernel labs☆56Updated 3 years ago
- A GPU-accelerated DNN inference serving system that supports instant kernel preemption and biased concurrent execution in GPU scheduling.☆39Updated 2 years ago