edydfang / UW-Madison-CS537
Operating System Projects
☆9Updated 5 years ago
Alternatives and similar repositories for UW-Madison-CS537:
Users that are interested in UW-Madison-CS537 are comparing it to the libraries listed below
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆19Updated 5 years ago
- GitHub Repo for STAR: Scaling Transactions through Asymmetric Replication☆22Updated 5 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆55Updated last month
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆23Updated 2 years ago
- Implementing clone and join system calls for kernel thread handling in xv6☆8Updated 9 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆13Updated 8 years ago
- Principles of Computer Systems☆52Updated 7 years ago
- Low-latency query compiler☆15Updated 2 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- My exercises and homework for Operating Systems: Three Easy Pieces☆63Updated 7 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 11 months ago
- reading...☆32Updated 7 months ago
- CS 346 RedBase Project (Stanford)☆37Updated 9 years ago
- ☆12Updated 10 months ago
- Course website for Systems Verification Fall 2024☆11Updated this week
- ☆11Updated 4 months ago
- MIT 6.828 JOS lab☆55Updated 7 years ago
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆24Updated last year
- ☆63Updated 2 weeks ago
- ☆18Updated 3 years ago
- A simple relational database based on Stanford CS346 RedBase, implemented in elegant modern C++14.☆53Updated 2 years ago
- Lab assignments for 6.826☆13Updated 4 years ago
- Code snippets used during lecture and discussion☆11Updated last year
- The famous XV6 operating system with extension to support kernel level threads, synchronization primitives and Copy On Write (COW) optimi…☆7Updated 7 years ago
- 知乎文章附带代码☆13Updated 2 years ago
- Quickstep project☆42Updated 4 months ago
- CS168 Project 1: Routing☆14Updated 5 years ago
- An open-source FPTree implementation☆27Updated 2 years ago
- ☆11Updated 6 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆58Updated 2 years ago