shivaram / cs537-sp23-discussionLinks
Code snippets used during lecture and discussion
☆11Updated 2 years ago
Alternatives and similar repositories for cs537-sp23-discussion
Users that are interested in cs537-sp23-discussion are comparing it to the libraries listed below
Sorting:
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆20Updated 6 years ago
- ☆20Updated 2 years ago
- Programming languages☆38Updated 3 months ago
- Operating System Projects☆8Updated 5 years ago
- Lab assignments for 6.826☆15Updated 4 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 4 months ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- POCS materials for the public☆11Updated 4 months ago
- kernel threads in xv6☆14Updated 4 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆21Updated 3 years ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Updated last year
- A program synthesis framework for verified lifting applications☆52Updated 3 weeks ago
- The pintos source distribution for PKU Operating System Course projects☆49Updated 4 months ago
- implementation of xv6 labs from MIT 6.S081 2020☆12Updated 2 years ago
- Implementation of mmap system call in xv6☆15Updated 4 years ago
- A compiler from TIP to llvm bitcode☆69Updated 7 months ago
- A detailed guide to the xv6 code.☆264Updated 2 years ago
- 🔪Mx-Star Compiler Project☆14Updated 5 years ago
- Yizhou' Homepage☆47Updated 2 weeks ago
- A translation validation framework for MLIR☆87Updated 3 months ago
- Tankle Adventure☆16Updated 7 months ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆15Updated last month
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Updated last year
- ☆24Updated last year
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 4 years ago
- Source code and solution to CMU 15-213☆124Updated 10 months ago
- Solutions to OCaml Programming☆84Updated last month
- A Mx-language compiler focused on backend optimization (Compiler Project of ACM class @ SJTU)☆9Updated 6 years ago
- A Framework for Automated Validation of Deep Learning Training Tasks☆26Updated this week
- CS168 Project 1: Routing☆13Updated 5 years ago