Thermal-Join: A Scalable Spatial Join for Dynamic Workloads

How to Write Unmaintainable Code (1999)

Advanced Computer Architecture

History of logic programming

Server Availability and Security Through Failure-Oblivious Computing (2004)

Reasoned Programming (1994)

Many-Core Compiler Fuzzing [pdf]

Unifying models of data flow (2011) [pdf]