Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor (1990) [pdf]

Compiler Construction Using Flex and Bison [pdf]

What Next? A Few Remaining Problems in Information Technology (1998) [pdf]

Context-aware programming languages | Microsoft Research

Enhancements to SQL Server Column Stores (2013) [pdf]

Paxos Made Simple (2001) [pdf]

Coq: The world’s best macro assembler? [pdf]

Spending Moore's Dividend (2008)

A Tutorial on Support Vector Machines for Pattern Recognition [pdf]

The Byzantine Generals Problem [pdf]