pku-minic / next-gen-ir-proposalLinks
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
Sorting:
- Website for Systems Research Seminar at UIUC☆20Updated last week
- Course website for Operating System course in Peking University.☆14Updated 3 years ago
- Some CS notes during Jiawei's undergrad.☆31Updated 3 years ago
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 3 years ago
- ☆12Updated 5 months ago
- OS Tutorial Summer of Code 2020☆19Updated 3 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆154Updated 2 months ago
- Book reading☆15Updated 5 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- Open test cases of PKU compiler course.☆28Updated 3 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22Updated 3 years ago
- Take your first step in writing a compiler.☆29Updated 4 years ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- Random collections of my interested research papers / projects☆20Updated 4 years ago
- General system research material (not limited to paper) reading notes.☆22Updated 4 years ago
- Documentation for TCP Lab☆12Updated 5 months ago
- Utilities for paper writing.☆12Updated 6 months ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆49Updated last month
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆40Updated last year
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 7 months ago
- 兆京大学班车预约 for Humans™☆29Updated 6 months ago
- The MiniDecaf test cases.☆18Updated 5 months ago
- This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.☆84Updated 5 months ago
- An optimizing compiler targeting armv7 and risc-v32☆62Updated 9 months ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆61Updated 2 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 4 years ago
- ChocoPy LLVM Repo☆77Updated 2 years ago
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆16Updated 3 years ago
- A Framework for Automated Validation of Deep Learning Training Tasks☆53Updated last month