efeslab / eecs582
Course website for Advanced Operating Systems
☆12Updated 2 years ago
Alternatives and similar repositories for eecs582:
Users that are interested in eecs582 are comparing it to the libraries listed below
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Updated 4 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆20Updated 2 years ago
- What if everything is a io_uring?☆16Updated 2 years ago
- ☆15Updated 2 years ago
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Updated 4 years ago
- website for systems seminar at UIUC☆17Updated this week
- ☆14Updated last year
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 2 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 4 years ago
- Repo for Performance Interfaces for Hardware Accelerators.☆10Updated 7 months ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19Updated 9 months ago
- ☆11Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆16Updated 3 weeks ago
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆19Updated last year
- Lower chisel memories to SRAM macros☆12Updated 10 months ago
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated 5 months ago
- OS Tutorial Summer of Code 2020☆19Updated 2 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆9Updated last year
- A simple containerized application manage system like Kubernetes, but written in Rust☆19Updated 2 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆117Updated 2 months ago
- Take your first step in writing a compiler. Implemented in Rust.☆15Updated last year
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆25Updated last month
- A GPU FP32 computation method with Tensor Cores.☆20Updated 2 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 3 years ago