midwinter1993 / dogfoodLinks
Artifact evaluation for Dogfood
☆12Updated 5 years ago
Alternatives and similar repositories for dogfood
Users that are interested in dogfood are comparing it to the libraries listed below
Sorting:
- A visualized debugging framework to aid in understanding the Linux kernel.☆137Updated last week
- ☆58Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 10 months ago
- ☆23Updated 2 years ago
- x86_64体系结构学习☆10Updated 6 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Updated 10 months ago
- The MOSAIC Operating Systems Model and Checker☆194Updated 2 years ago
- 项目的主仓库☆25Updated 2 years ago
- Linux kernel labs☆55Updated 4 years ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆44Updated last month
- An RISC-V experimental OS☆25Updated last year
- On-demand-fork☆30Updated 2 years ago
- ☆72Updated last year
- Compile Optimization Guided Binary Translator (using llvm as infrastructure)☆48Updated 11 months ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆21Updated 3 years ago
- ☆49Updated 3 years ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆55Updated last year
- ☆42Updated last year
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆16Updated 8 months ago
- 面向可信执行环境的OS。☆12Updated 2 months ago
- ☆48Updated 9 months ago
- Writing a hypervisor in Rust☆12Updated 3 months ago
- ☆13Updated 3 years ago
- A mirror of https://bitbucket.org/ajaustin/hemem/src/sosp-submission/☆22Updated 2 years ago
- Artifacts of EuroSys'24 paper "Exploring Performance and Cost Optimization with ASIC-Based CXL Memory"☆27Updated last year
- Study materials collected while studying☆52Updated 3 years ago
- Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony☆34Updated last year
- Let's write an x86 hypervisor in Rust from scratch!☆158Updated last year
- A Progam-Behavior-Guided Far Memory System☆35Updated last year
- Hodor-PKU☆25Updated 3 years ago