chenhao-ye
Follow
Highlights
- Pro
-
mini-lsm Public
Forked from skyzh/mini-lsmA tutorial of building an LSM-Tree storage engine in a week! (WIP)
Rust Apache License 2.0 UpdatedDec 26, 2024 -
gcache Public
High-performance header-only LRU cache library.
-
sysartifacts.github.io Public
Forked from sysartifacts/sysartifacts.github.ioWebsite for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
HTML UpdatedOct 21, 2024 -
garnet Public
Forked from microsoft/garnetGarnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication feat…
C# MIT License UpdatedJun 24, 2024 -
-
MadFS Public
Forked from WiscADSL/MadFSSource code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
-
RedisModulesSDK Public
Forked from RedisLabsModules/RedisModulesSDKTools, utilities and scripts to help you write redis modules!
C MIT License UpdatedMar 24, 2024 -
protocol-verification-fa2023 Public
Forked from tchajed/protocol-verification-fa2023Assignments for COMP SCI 839 from UW-Madison in Fall 2023
Dafny UpdatedNov 16, 2023 -
polaris Public
Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”
-
uFS-bench Public
Forked from WiscADSL/uFS-benchMore benchmarks for uFS.
C++ MIT License UpdatedJul 4, 2022 -
-
-
strace Public
Forked from strace/stracestrace is a diagnostic, debugging and instructional userspace utility for Linux
C Other UpdatedJan 31, 2022 -
scylla Public
Forked from scylladb/scylladbNoSQL data store using the seastar framework, compatible with Apache Cassandra
C++ GNU Affero General Public License v3.0 UpdatedNov 29, 2021 -
-
ostep-projects Public
Forked from remzi-arpacidusseau/ostep-projectsProjects for an undergraduate OS course
C UpdatedOct 12, 2021 -
uFS Public
Forked from WiscADSL/uFSA Filesystem Semi-Microkernel
C MIT License UpdatedSep 15, 2021 -
cs537-sp21-discussion Public
Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.
-
-
herb Public
A personal collection of themes. Themes work just like herbs: they wouldn't solve any practical problem, but they could make coding more enjoyable.
-
VG101-Recitation-Class-Notes Public
Recitation class notes for VG101 (Introduction to Computer and Programming) FA2018 J.G. Wu [UM-SJTU Joint Institute]