Software

Busgazer

A realtime transit App for the city of Pittsburgh, serving ~15k local users. (iOS, Android)

Pisces

A co-kernel architecture that allows multiple OS/R instances to execute concurrently on the same local node

Preemptable Ticket Spinlock (pmtlock)

An implementation of the preemptable ticket spinlock algorithm on Linux

Shoot4U

An implementation of the Shoot4U paravirtual TLB shootdown scheme on Linux

Kitten

A lightweight operating system

Palacios

A lightweight Virtual Machine Monitor