Pinned Repositories
cgol-demo
Conway's Game of Life demo in Rust WebAssembly
cuckoo-hashing-CUDA
Parallel cuckoo hashing on GPUs with CUDA
garner
Hierarchical Validation in OCC on a B+-tree Index
hux-kernel
The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)
nhc-demo
Demo of FAST'21 Paper on Non-Hierarchical Caching (NHC)
open-cas-linux-mf
Multi-factor Caching Algorithm Implementation with Open CAS Linux
rux-kernel
The Rux x86_64 Toy Operating System Kernel (a Rust port of Hux, WIP)
summerset
Distributed, Replicated, Protocol-generic Key-value Store in Async Rust
ocf
Open CAS Framework
Examples
A collection of TLA⁺ specifications of varying complexities
josehu07's Repositories
josehu07/hux-kernel
The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)
josehu07/open-cas-linux-mf
Multi-factor Caching Algorithm Implementation with Open CAS Linux
josehu07/rux-kernel
The Rux x86_64 Toy Operating System Kernel (a Rust port of Hux, WIP)
josehu07/summerset
Distributed, Replicated, Protocol-generic Key-value Store in Async Rust
josehu07/garner
Hierarchical Validation in OCC on a B+-tree Index
josehu07/josehu07.github.io
Guanzhou's personal website
josehu07/modern-cpp-features
A Cheatsheet of Modern C++ Language and Library Features
josehu07/ocf-mf
Multi-factor Caching Algorithm Implementation with Open CAS Framework
josehu07/cgol-demo
Conway's Game of Life demo in Rust WebAssembly
josehu07/dctcp-demo
Demo of Data Center TCP (DCTCP) congestion control with ns-3
josehu07/Paper-Template-ACMSIG
Paper template: ACM SIG conferences.
josehu07/Paper-Template-USENIX
Paper template: USENIX conferences.
josehu07/josehu07
My personal profile repository
josehu07/learn-tla
TLA+/PlusCal Study Material (all runnable with VSCode extension)
josehu07/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
josehu07/tensorstore
Library for reading and writing large multi-dimensional arrays.
josehu07/copilot
Guanzhou's Fork of the Copilot Replication Protocol
josehu07/CS839-MLSys-AS2
CS839 MLSys SP2022 Collective Communication Assignment
josehu07/DBx1000
josehu07/DiskANN
Scalable graph based indices for approximate nearest neighbor search
josehu07/etcd
Guanzhou's Fork of the etcd Distributed KV Store
josehu07/intention-base
josehu07/MadFS
Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
josehu07/MGk-queue-sim
SimPy-based simulation for M/G/k queueing
josehu07/protocol-verification-fa2023
Assignments for COMP SCI 839 from UW-Madison in Fall 2023
josehu07/rustynet
RustyNet: Network Emulation over Cloud Docker Containers
josehu07/silo
Multicore in-memory storage engine
josehu07/SplitFS
SplitFS: persistent-memory file system that reduces software overhead (SOSP 2019)
josehu07/tf-models
Models and examples built with TensorFlow
josehu07/tla-examples
A collection of TLA+ specifications of varying complexities