Mementos: System Support for Long-Running Computation on RFID-Scale Devices

What Goes Around Comes Around (2004) [pdf]

The Hardest Natural Languages (1979)

Wireshark Labs

Sudoku as a SAT Problem (2006)

Quantifying the Performance of Garbage Collection vs. Explicit Memory Management (2005)

The Origin of the VM/370 Time-Sharing System (1981)

Akamai DNS: Providing Authoritative Answers to the World’s Queries

Practical Traffic Analysis Attacks on Secure Messaging Applications

Stabilizer: Statistically sound performance evaluation

Quantifying the Performance of Garbage Collection vs. Explicit Memory Management

All of the garbage collectors we examine here suffer order-of-magnitude

An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions

Compressive Traffic Analysis: A New Paradigm for Scalable Traffic Analysis

DieHarder: Securing the Heap (2010)

CacheBrowser: Bypassing Chinese Censorship Without Proxies Using Cached Content

Coz: Finding Code that Counts with Causal Profiling

What Goes Around Comes Around (2005) [pdf]

Labeled Faces in the Wild

Metapuzzles: Reducing SAT to your favorite puzzle (2007) [pdf]

How to do research at the MIT AI Lab (1988) [pdf]