chenhao-ye

Chenhao Ye's repositories

polaris

Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”

Language:C++ISC22 20

thyme

Seasoning for shells.

Language:ShellMIT22 10

cs537-sp21-discussion

Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.

Language:CMIT14 10

gcache

High-performance header-only LRU cache library.

Language:C++MIT7 20

snow

Keep your workflow synchronized.

Language:PythonMIT7 1 1

VG101-Recitation-Class-Notes

Recitation class notes for VG101 (Introduction to Computer and Programming) FA2018 J.G. Wu [UM-SJTU Joint Institute]

Language:TeXGPL-3.0600

herb

A personal collection of themes. Themes work just like herbs: they wouldn't solve any practical problem, but they could make coding more enjoyable.

MIT4 10

adw

Artifact Demonstration Wizard.

Language:Python2 10

MadFS

Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”

Language:C++200

Bamboo-Public

Language:C++ISC000

DBx1000

Language:C++ISC000

ostep-projects

Projects for an undergraduate OS course

Language:C000

scylla

NoSQL data store using the seastar framework, compatible with Apache Cassandra

Language:C++AGPL-3.0000

mini-lsm

A tutorial of building an LSM-Tree storage engine in a week! (WIP)

Apache-2.0000

protocol-verification-fa2023

Assignments for COMP SCI 839 from UW-Madison in Fall 2023

Language:Dafny000

RedisModulesSDK

Tools, utilities and scripts to help you write redis modules!

Language:CMIT000

strace

strace is a diagnostic, debugging and instructional userspace utility for Linux

Language:CNOASSERTION000

uFS

A Filesystem Semi-Microkernel

Language:CMIT000

uFS-bench

More benchmarks for uFS.

Language:C++MIT000