vijay03 / cs360v-f20View external linksLinks
CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
☆65Nov 25, 2020Updated 5 years ago
Alternatives and similar repositories for cs360v-f20
Users that are interested in cs360v-f20 are comparing it to the libraries listed below
Sorting:
- Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆26Jan 23, 2025Updated last year
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Dec 10, 2019Updated 6 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Aug 30, 2022Updated 3 years ago
- A Scheduling Problem in Prolog☆12Feb 3, 2016Updated 10 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- ☆12Jan 9, 2026Updated last month
- MIT 6.824-2012☆10Jun 30, 2018Updated 7 years ago
- Rust bindings for SPDK☆19Sep 12, 2017Updated 8 years ago
- AutoBib: create beautiful bib files and html publication pages automagically☆14May 7, 2025Updated 9 months ago
- The Programmable Data Plane: Reading List☆52Sep 29, 2020Updated 5 years ago
- This is the iiBench benchmark (aka the Index Insertion Benchmark) implemented as a sysbench workload☆16Jan 18, 2022Updated 4 years ago
- Paytm Payments Flutter SDK☆14May 7, 2019Updated 6 years ago
- A little project exploring Forests in Northern Ireland☆16Apr 21, 2022Updated 3 years ago
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 years ago
- ReactiveML: a programming language for implementing interactive systems.☆20Nov 14, 2022Updated 3 years ago
- ☆18Jun 29, 2018Updated 7 years ago
- Writing a hypervisor in Rust☆11Apr 1, 2025Updated 10 months ago
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆16Jun 29, 2022Updated 3 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 years ago
- High performance NCCL plugin for Bagua.☆15Sep 15, 2021Updated 4 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Mar 17, 2025Updated 11 months ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Apr 11, 2023Updated 2 years ago
- Master thesis on developing a static type checker for Erlang☆27Sep 30, 2018Updated 7 years ago
- ☆21Sep 22, 2017Updated 8 years ago
- ZNS Append-only based LSM key-value store☆21Sep 22, 2023Updated 2 years ago
- Extension of nom to apply "Packrat Parsing"☆22Feb 3, 2025Updated last year
- Emacs configuration☆23Mar 25, 2020Updated 5 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆31Feb 4, 2019Updated 7 years ago
- Traditional data-structure designs, whether lock-based or lock-free, provide parallelism via fine grained synchronization among threads. …☆31Sep 24, 2010Updated 15 years ago
- Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms☆30Jul 2, 2023Updated 2 years ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 4 years ago
- An operation-log based approach for data replication.☆65Apr 27, 2023Updated 2 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 3 years ago
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆36Oct 11, 2023Updated 2 years ago
- A Rocket based JSON Web Token authentication server.☆32Jun 29, 2020Updated 5 years ago
- RedLeaf Operating System☆138May 9, 2022Updated 3 years ago
- A lightweight netctl tray app with notifications☆30May 19, 2021Updated 4 years ago