Explore projects

Safe Rust file systems in the Linux kernel.

ostep hw solutions

This repo includes all of the TAPIR and IR code as well as implementations of two-phase commit, strict two-phase locking, optimistic concurrency control and Viewstamped Replication for building a variety of replicated, transactional key-value stores.

A2 Wearable Step Tracker - UbiComp Sp20