Explore projects

Coverage extraction for PASCALI project.

Coverage extraction for PASCALI project.

Coverage extraction for Toradocu project.

Public repo for homework assignments and turnins

Public repo for homework assignments and turnins

Detects and tracks shoes.

Public repo for homework assignments and turnins

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.

Public repo for homework assignments and turnins

Public repo for homework assignments and turnins

Public repo for homework assignments and turnins