Shenango is a system that enables servers in datacenters to simultaneously provide low tail latency and high CPU efficiency, by rapidly reallocating cores across applications, at timescales as small as every 5 microseconds.

Caladan is a system that enables servers in datacenters to simultaneously provide low tail latency and high CPU efficiency, by rapidly reallocating cores across applications.

Spectre is used to measure the impact of Spectre mitigations on a variety of workloads.

A high-performance, Pythonic language for bioinformatics

Encrypted Backups with Human-Memorable Secrets. SafetyPin is a system for encrypted backups that provides a strong defense against hardware compromise. 

Neural Factorization of Shape and Reflectance Under an Unknown Illumination