shivaram / cs537-sp23-discussion
Code snippets used during lecture and discussion
☆11Updated last year
Alternatives and similar repositories for cs537-sp23-discussion:
Users that are interested in cs537-sp23-discussion 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
- Operating System Projects☆9Updated 5 years ago
- ☆27Updated 7 years ago
- Programming languages☆37Updated 3 weeks ago
- A translation validation framework for MLIR☆81Updated 2 weeks ago
- Solutions to OCaml Programming☆79Updated 7 months ago
- ☆11Updated 8 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated 7 months ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆52Updated last year
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- An automated deductive program verifier based on concurrent separation logic☆14Updated last week
- Implementation of mmap system call in xv6☆15Updated 3 years ago
- My solutions to Software Foundations course in Coq proof assistant.☆34Updated 9 months ago
- Course website for Systems Verification Fall 2024☆11Updated this week
- ☆24Updated last month
- POCS materials for the public☆10Updated 2 months ago
- A verified polyhedral scheduling validator in Coq.☆20Updated 6 months ago
- ☆19Updated 2 years ago
- ☆12Updated this week
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 11 months ago
- ☆26Updated last year
- A program synthesis framework for verified lifting applications☆50Updated 3 weeks ago
- tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).☆47Updated 3 years ago
- A eDSL framework based on Scala and MLIR, focusing on the Hardware design.☆30Updated this week
- Parallel ML benchmark suite☆16Updated 2 weeks ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last month
- ☆18Updated last year
- Course website for Advanced Operating Systems☆13Updated 2 years ago
- The ASPLOS 2025 / EuroSys 2025 Contest Track☆31Updated this week
- ☆55Updated last year