Riffle - An Efficient Communication System With Strong Anonymity

Arco, a new solver that, given a dynamical system specification in the form of a set of differential equations, generates physically realizable configurations for programmable analog devices that are algebraically equivalent to the specified system [PDF]

Coup: lower the cost of updates to shared data in cache-coherent systems

IMP: Indirect Memory Prefetcher

Covert Communication in Mobile Applications

Deviation Magnification: Revealing Departures from Ideal Geometries

Distributed Programming in Argus (1988)

Closures = Objects

Fast, Cheap and Out of Control (1989)

Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory

LCS35 Time Capsule Crypto-Puzzle (1999)

See Through Walls with Wi-Fi

Obstruction free Photography

RE: What's so cool about Scheme? (2003)

Targeted Automatic Integer Overflow Discovery

Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center

Mailing Lists: What’s Wrong With Them, and How Can We Fix Them? [pdf]

The Visual Microphone: Passive Recovery of Sound from Video

The SCM Implementation of Scheme

Gitless: experimental version control system

Elements of a successful graduate career [pdf]

VerSum: Verifiable Computations Over Large Public Logs [pdf]

Spritz – A spongy RC4-like stream cipher and hash function [pdf]

Getting Started in *Lisp [pdf]

Learning to Automatically Solve Algebra Word Problems [pdf]