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:
- Some CS notes during Jiawei's undergrad.☆31Updated 3 years ago
- website for systems seminar at UIUC☆20Updated 3 weeks ago
- Open test cases of PKU compiler course.☆27Updated 3 years ago
- 兆京大学班车预约 for Humans™☆27Updated 2 months ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- 使用哈希页表实现虚拟机的stage-2页表☆7Updated 2 months ago
- General system research material (not limited to paper) reading notes.☆22Updated 4 years ago
- Utilities for paper writing.☆11Updated 2 months ago
- Compiler 2020 cource of USTC labs☆9Updated 4 years ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 5 months ago
- Random collections of my interested research papers / projects☆20Updated 4 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆21Updated 3 years ago
- Course website for Operating System course in Peking University.☆13Updated 3 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆131Updated last week
- The NYU Systems Seminar☆23Updated last year
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 3 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆46Updated 4 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- Book reading☆15Updated 5 years ago
- OS Tutorial Summer of Code 2020☆19Updated 3 years ago
- ☆75Updated 2 years ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆44Updated last month
- A compiler of C subset by USTB OWL Wheel Lab.☆12Updated 2 years ago
- Take your first step in writing a compiler.☆29Updated 4 years ago
- A reading group for system verification papers☆10Updated last year
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆17Updated 3 years ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆138Updated 3 years ago
- ☆97Updated 8 months ago
- system paper reading notes☆245Updated 3 years ago