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