Guanzhou Hu's Projects
TLA+/PlusCal Study Material (all runnable with VSCode extension)
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
Linux kernel source tree
Source code for the FAST '23 paper โMadFS: Per-File Virtualization for Userspace Persistent Memory Filesystemsโ
SimPy-based simulation for M/G/k queueing
Emulator for rapid prototyping of Software Defined Networks
A Cheatsheet of Modern C++ Language and Library Features
Demo of FAST'21 Paper on Non-Hierarchical Caching (NHC)
Open CAS Framework - Guanzhou's Fork
Multi-factor Caching Algorithm Implementation with Open CAS Framework
Multi-factor Caching Algorithm Implementation with Open CAS Linux
CS130 (Operating Systems) Course Project - Paralleled Read & Write Optimizations
Allison, Guanzhou, and Vishrant's workspace for 6.829 fall '19 final project on P2P optimizations to livestreaming
Paper template: ACM SIG conferences.
Paper template: USENIX conferences.
Presentation Tool for Regular Expressions and Finite Automatas
Assignments for COMP SCI 839 from UW-Madison in Fall 2023
SI140 (Probabilities and Statistics) Course Project - Wechat Redpack Mechanism Analysis
Rust "The Book" - Notes & Coding Examples
:crab: Small exercises to get you used to reading and writing Rust code!
RustyNet: Network Emulation over Cloud Docker Containers
The Rux x86_64 Toy Operating System Kernel (a Rust port of Hux, WIP)
Multicore in-memory storage engine
SplitFS: persistent-memory file system that reduces software overhead (SOSP 2019)
Distributed, Replicated, Protocol-generic Key-value Store in Async Rust
Library for reading and writing large multi-dimensional arrays.
Models and examples built with TensorFlow
A collection of TLA+ specifications of varying complexities
Tiny tool to count number of volume peak in an MP3 music file