josehu07/linearize

Stars
2
Language
Rust
License
MIT License
Created 4 months ago
Updated 3 months ago

josehu07/linearize

josehu07

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Simple On-line Linearizability Checker

hux-kernel

The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)

cuckoo-hashing-CUDA

Parallel cuckoo hashing on GPUs with CUDA

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)

nhc-demo

Demo of FAST'21 Paper on Non-Hierarchical Caching (NHC)

summerset

Distributed, Replicated, Protocol-generic Key-value Store in Async Rust

garner

Hierarchical Validation in OCC on a B+-tree Index

rust-learn

Rust "The Book" - Notes & Coding Examples

CS537-SP2021-DIS

UW-Madison CS537 Spring 2021 Discussion Section DIS-315 Material.

ocf-mf

Multi-factor Caching Algorithm Implementation with Open CAS Framework

foreactor

Transparently Enabling Fine-grained Asynchronous Syscall Execution

josehu07.github.io

Guanzhou's personal website

dctcp-demo

Demo of Data Center TCP (DCTCP) congestion control with ns-3

prefa-master

Presentation Tool for Regular Expressions and Finite Automatas

go-learn

Golang "A Tour of Go" - Notes & Coding Examples

Paper-Template-ACMSIG

Paper template: ACM SIG conferences.

cgol-demo

Conway's Game of Life demo in Rust WebAssembly

CA-MipsAssembler

CS110 (Computer Architecture) Project 1.1 - MIPS Assembler

Paper-Template-USENIX

Paper template: USENIX conferences.

CA-KNNFloatImgSpark

CS110 (Computer Architecture) Project 4 - KNN Float Image Outlier Removal in Spark

josehu07

My personal profile repository

OS-ParallelRW

CS130 (Operating Systems) Course Project - Paralleled Read & Write Optimizations

learn-tla

TLA+/PlusCal Study Material (all runnable with VSCode extension)